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

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

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

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

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

Scheduling, vehicle routing and timetabling are all examples of constraint problems, and methods ...

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

For undergraduate and beginning graduate students, this textbook explains and examines the centra...

Dieses Buch bietet als erstes Lehrbuch eine systematischeEinführung in die Programmverifikation. ...

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

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