Author

Krzysztof Apt

4 known books newest first

No author bio imported yet.

Books

OpenLibrary works by this author.

4 books
Logic Programming

Logic Programming

Year unknown
Meta-Logics and Logic Programming

Meta-Logics and Logic Programming

Year unknown Krzysztof Apt and Franco Turini
Principles of Constraint Programming

Principles of Constraint Programming

Year unknown
Verification of Sequential and Concurrent Programs

Verification of Sequential and Concurrent Programs

Year unknown Krzysztof Apt, Frank S. de Boer, and Amir Pnueli

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