Krzysztof R. Apt
1949 · 15 obras en el catálogo
Obras
Verification of sequential and concurrent programs
Lectures in game theory for computer scientists
Foundations of deductive databases and logic programming
New perspectives on games and interaction
Principles of constraint programming
Formal description of programming concepts
Logic programming languages
Meta-logics and logic programming
New perspectives on games and interaction
Programmverifikation
Foundations of computer science II
The Logic programming paradigm
From logic programming to Prolog
1997
Principles of constraint programming
2003
Verification of sequential and concurrent programs
1991