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

This collection of current research presents results from a three-year, ESPRIT-funded effort to e...

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

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

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

Edsger Wybe Dijkstra (1930-2002) was one of the most influential researchers in the history of co...

Edsger Wybe Dijkstra (1930-2002) was one of the most influential researchers in the history of co...