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
18731988
Principles of constraint programming
K Apt
Cambridge university press, 2003
14822003
Logic programming
KR Apt
Handbook of theoretical computer science (vol. B) formal models and …, 1991
9861991
Contributions to the theory of logic programming
KR Apt, MH Van Emden
Journal of the ACM (JACM) 29 (3), 841-862, 1982
9621982
Verification of sequential and concurrent programs
KR Apt, FS De Boer, ER Olderog
Springer Science & Business Media, 2009
9522009
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
8951981
Logic programming and negation: A survey
KR Apt, RN Bol
The Journal of Logic Programming 19, 9-71, 1994
6701994
From logic programming to Prolog
KR Apt
Prentice Hall, 1997
5751997
Limits for automatic verification of finite-state concurrent systems
KR Apt, D Kozen
Inf. Process. Lett. 22 (6), 307-309, 1986
5681986
Constraint logic programming using ECLiPSe
KR Apt, M Wallace
Cambridge University Press, 2006
5512006
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
4921980
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
3312003
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
2781986
Ten years of Hoare's Logic: a survey—Part II: nondeterminism
KR Apt
Theoretical Computer Science 28 (1-2), 83-109, 1983
258*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