Krzysztof R. Apt
No biography available.
Works (11)
Meta-logics and logic programming
Principles of constraint programming
2003
From logic programming to Prolog
1997
New perspectives on games and interaction
Logic programming languages
Foundations of deductive databases and logic programming
Principles of constraint programming
Verification of sequential and concurrent programs
1991
New perspectives on games and interaction
Verification of sequential and concurrent programs
Lectures in game theory for computer scientists