Krzysztof R. Apt

1949

12 works on record

Works

Principles of constraint programming

2003

From logic programming to Prolog

1997

Verification of sequential and concurrent programs

1991

Lectures in game theory for computer scientists

Foundations of deductive databases and logic programming

New perspectives on games and interaction

Formal description of programming concepts

Logic programming languages

Meta-logics and logic programming

Programmverifikation

The Logic programming paradigm