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

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

Computer programs are becoming more and more part of systems that we use to rely on in our daily ...

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

This book provides a structured introduction to the verification of sequen- tial and concurrent p...

Games provide mathematical models for interaction. Numerous tasks in computer science can be form...

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

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 ...

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

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