The cooperation test [Apt, Francez & de Roever] was originally conceived to capture the proof the...

Logic Programming was founded 25 years ago. This exciting new text reveals both the evolution of ...

Constraint programming is the fruit of several decades of research carried out in mathematical lo...

HIS BOOK CONTAINS a most comprehensive text that presents syntax-directed and compositional metho...

1 Einführung.- 1.1 Beispiel eines parallelen Programmes.- 1.2 Programmkorrektheit.- 1.3 Struktur ...

This book constitutes the thoroughly refereed post-proceedings of the Joint ERCIM Compulog-Net Wo...

Investigating meta-programming within the logic programming paradigm, Meta-Logics and Logic Progr...

Constraints are everywhere: most computational problems can be described in terms of restrictions...

This volume is a collection of papers presented at the 2007 colloquium on new perspectives on gam...

This collection of current research on logic programming languages presents results from a three-...

This book offers a short and accessible account of the history of mathematics, written for the in...

Constraint logic programming lies at the intersection of logic programming, optimisation and arti...