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

Upper-division textbook covering foundations of constraint programming and applications to schedu...

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

This textbook offers an introduction to the Eclipse system and a guide to problem-solving for stu...

A collection of lectures on various aspects of game theory relevant for computer scientists.