Krzysztof Apt profile picture

Krzysztof Apt

Is this your author profile? Create an account to customize it!

Stand Alone

Principles of Constraint Programming
Meta-Logics and Logic Programming
Verification of Sequential and Concurrent Programs
New Trends in Constraints Joint ERCIM/Compulog Net Workshop Paphos, Cyprus, October 25-27, 1999 Selected Papers
Verification of Sequential and Concurrent Programs
Recent Advances in Constraints Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30 - July 2, 2003, Selected Papers
The Logic Programming Paradigm A 25-Year Perspective
Principles of Constraint Programming
Principles of Constraint Programming
Verification of Sequential and Concurrent Programs
Verification of Sequential and Concurrent Programs
Verification of Sequential and Concurrent Programs