Krzysztof R. Apt profile picture

Krzysztof R. Apt

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

Stand Alone

Verification of sequential and concurrent programs
Lectures in game theory for computer scientists
Foundations of deductive databases and logic programming
New perspectives on games and interaction
Constraint logic programming using ECLiPSe
New trends in constraints
Principles of constraint programming
Logic programming languages
Meta-logics and logic programming
The Logic Programming Paradigm
Logics and Models of Concurrent Systems
New perspectives on games and interaction
Programmverifikation
Verification of Sequential and Concurrent Programs
Verification of Sequential and Concurrent Programs

See All