Follow
Krzysztof R. Apt
Krzysztof R. Apt
CWI fellow, CWI , The Netherlands
Verified email at cwi.nl - Homepage
Title
Cited by
Cited by
Year
Towards a theory of declarative knowledge
KR Apt, HA Blair, A Walker
Foundations of deductive databases and logic programming, 89-148, 1988
18661988
Principles of constraint programming
K Apt
Cambridge university press, 2003
14772003
Logic programming
KR Apt
Handbook of theoretical computer science (vol. B) formal models and …, 1991
9851991
Contributions to the theory of logic programming
KR Apt, MH Van Emden
Journal of the ACM (JACM) 29 (3), 841-862, 1982
9601982
Verification of sequential and concurrent programs
K Apt, FS De Boer, ER Olderog
Springer Science & Business Media, 2010
9472010
Ten years of Hoare's logic: A survey—Part I
KR Apt
ACM Transactions on Programming Languages and Systems (TOPLAS) 3 (4), 431-483, 1981
8891981
Logic programming and negation: A survey
KR Apt, RN Bol
The Journal of Logic Programming 19, 9-71, 1994
6681994
From logic programming to Prolog
KR Apt
Prentice Hall, 1997
5711997
Limits for automatic verification of finite-state concurrent systems
KR Apt, D Kozen
Inf. Process. Lett. 22 (6), 307-309, 1986
5661986
Constraint logic programming using ECLiPSe
KR Apt, M Wallace
Cambridge University Press, 2006
5492006
A proof system for communicating sequential processes
KR Apt, N Francez, WP De Roever
ACM Transactions on Programming Languages and Systems (TOPLAS) 2 (3), 359-385, 1980
4891980
A generic approach to coalition formation
KR Apt, A Witzel
International game theory review 11 (03), 347-367, 2009
3732009
Acyclic programs
KR Apt, M Bezem
New generation computing 9, 335-363, 1991
3691991
Concepts in programming languages
JC Mitchell
Cambridge University Press, 2003
3292003
The essence of constraint propagation
KR Apt
Theoretical computer science 221 (1-2), 179-210, 1999
3071999
Countable nondeterminism and random assignment
KR Apt, GD Plotkin
Journal of the ACM (JACM) 33 (4), 724-767, 1986
2751986
Ten years of Hoare's Logic: a survey—Part II: nondeterminism
KR Apt
Theoretical Computer Science 28 (1-2), 83-109, 1983
254*1983
Appraising fairness in languages for distributed programming
KR Apt, N Francez, S Katz
Distributed Computing 2, 226-241, 1988
2361988
Reasoning about termination of pure Prolog programs
KR Apt, D Pedreschi
Information and computation 106 (1), 109-157, 1993
2321993
Reasoning about Prolog programs: from modes through types to assertions
KR Apt, E Marchiori
Formal Aspects of Computing 6, 743-765, 1994
1571994
The system can't perform the operation now. Try again later.
Articles 1–20