K
Krzysztof R. Apt
11 works on record
Works

New trends in constraints

Constraint logic programming using ECLiPSe

The Logic Programming Paradigm

Programmverifikation

Verification of Sequential and Concurrent Programs

Logics and Models of Concurrent Systems

Logic Programming Languages
Lectures in Game Theory for Computer Scientists
Lectures in Game Theory for Computer Scientists
Recent Advances in Constraints
Recent Advances in Constraints
Edsger Wybe Dijkstra
Edsger Wybe Dijkstra
Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge
Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge