Publication:4492740

zbMath0945.68026MaRDI QIDQ4492740

Henk Vandecasteele

Publication date: 17 July 2000

zbMATH Keywords

constraint logic programming

Mathematics Subject Classification ID

68-02: Research exposition (monographs, survey articles) pertaining to computer science

68N17: Logic programming

Uses Software

• FINDER
• XSB