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
17601988
Principles of constraint programming
K Apt
Cambridge university press, 2003
13292003
Logic Programming.
KR Apt
Handbook of Theoretical Computer Science, Volume B: Formal Models and …, 1990
9541990
Contributions to the theory of logic programming
KR Apt, MH Van Emden
Journal of the ACM (JACM) 29 (3), 841-862, 1982
9291982
Verification of sequential and concurrent programs
KR Apt, ER Olderog, KR Apt
Springer, 2009
8352009
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
8271981
Logic programming and negation: A survey
KR Apt, RN Bol
The Journal of Logic Programming 19, 9-71, 1994
6491994
From logic programming to Prolog
KR Apt
Prentice Hall, 1997
5321997
Constraint logic programming using ECLiPSe
KR Apt, M Wallace
Cambridge University Press, 2006
5302006
Limits for automatic verification of finite-state concurrent systems
KR Apt, D Kozen
Inf. Process. Lett. 22 (6), 307-309, 1986
5211986
Foundations of deductive databases and logic programming
J Minker
Morgan Kaufmann, 2014
4952014
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
4731980
Acyclic programs
KR Apt, M Bezem
New generation computing 9 (3), 335-363, 1991
3561991
A generic approach to coalition formation
KR Apt, A Witzel
International game theory review 11 (03), 347-367, 2009
3312009
The essence of constraint propagation
KR Apt
Theoretical computer science 221 (1-2), 179-210, 1999
3001999
Concepts in programming languages
JC Mitchell, K Apt
Cambridge University Press, 2003
2992003
Countable nondeterminism and random assignment
KR Apt, GD Plotkin
Journal of the ACM (JACM) 33 (4), 724-767, 1986
2621986
Ten years of Hoare's logic: A survey—Part II: Nondeterminism
KR Apt
Theoretical Computer Science 28 (1-2), 83-109, 1983
229*1983
Reasoning about termination of pure Prolog programs
KR Apt, D Pedreschi
Information and computation 106 (1), 109-157, 1993
2221993
Appraising fairness in languages for distributed programming
KR Apt, N Francez, S Katz
Distributed Computing 2 (4), 226-241, 1988
2121988
The system can't perform the operation now. Try again later.
Articles 1–20