Author

Krzysztof R. Apt

12 known books newest first

No author bio imported yet.

Books

OpenLibrary works by this author.

12 books
Constraint logic programming using ECLiPSe

Constraint logic programming using ECLiPSe

Year unknown Krzysztof R. Apt and Mark Wallace
Edsger Wybe Dijkstra

Edsger Wybe Dijkstra

Year unknown Krzysztof R. Apt and Tony Hoare
Lectures in Game Theory for Compu...

Lectures in Game Theory for Computer Scientists

Year unknown Krzysztof R. Apt and Erich Grädel
Logic Programming Languages

Logic Programming Languages

Year unknown Krzysztof R. Apt and J. W. de Bakker
Logics and Models of Concurrent Systems

Logics and Models of Concurrent Systems

Year unknown
New trends in constraints

New trends in constraints

Year unknown Krzysztof R. Apt, Antonis Kakas, Eric Monfroy, and Francesca Rossi
Proceedings of the 13th Conferenc...

Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge

Year unknown
Programmverifikation

Programmverifikation

Year unknown Krzysztof R. Apt and Ernst-RĂ¼diger Olderog
Recent Advances in Constraints

Recent Advances in Constraints

Year unknown Krzysztof R. Apt, François Fages, Francesca Rossi, Peter Szeredi, and Josef VĂ¡ncza
The Logic Programming Paradigm

The Logic Programming Paradigm

Year unknown
Verification of Sequential and Concurrent Programs

Verification of Sequential and Concurrent Programs

Year unknown
Verification of Sequential and Concurrent Programs

Verification of Sequential and Concurrent Programs

Year unknown

Fetched from OpenLibrary. Some translations may appear as separate works.