Krzysztof Apt profile picture

Krzysztof Apt

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

Stand Alone

Principles of Constraint Programming
Principles of Constraint Programming
Principles of Constraint Programming
Meta-Logics and Logic Programming
Verification of Sequential and Concurrent Programs
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