Krzysztof R. Apt

No bio available. Add one in Open Library.

Books by Krzysztof R. Apt (50 max)

+ shelf+ list

Constraint Logic Programming using Eclipse

2006

Krzysztof R. Apt, Mark Wallace

+ shelf+ list

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

2004

Krzysztof R. Apt, François Fages, Francesca Rossi, Peter Szeredi, Josef Váncza

+ shelf+ list

Lectures in Game Theory for Computer Scientists

2011

Krzysztof R. Apt, Erich Grädel

+ shelf+ list

Verification of Sequential and Concurrent Programs

1997

Krzysztof R. Apt

+ shelf+ list

Edsger Wybe Dijkstra His Life, Work, and Legacy

2022

Krzysztof R. Apt, Tony Hoare

+ shelf+ list

New Trends in Constraints: Joint ERCIM/Compulog Net Workshop Paphos, Cyprus, October 25-27, 1999 Selected Papers (Lecture Notes in Computer Science)

2000

Krzysztof R. Apt, Antonis Kakas, Eric Monfroy, Francesca Rossi

+ shelf+ list

Logics and Models of Concurrent Systems

1985

Krzysztof R. Apt

+ shelf+ list

Verification of Sequential and Concurrent Programs

1991

Krzysztof R. Apt

+ shelf+ list

Logic Programming Languages: Constraints, Functions, and Objects (Logic Programming)

1993

Krzysztof R. Apt, J. W. de Bakker

+ shelf+ list

Programmverifikation Sequentielle, parallele und verteilte Programme

1994

Krzysztof R. Apt, Ernst-Rüdiger Olderog

+ shelf+ list

The Logic Programming Paradigm A 25-Year Perspective

1999

Krzysztof R. Apt

+ shelf+ list

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

2011

Krzysztof R. Apt