Krzysztof R. Apt
Krzysztof R. Apt
CWI fellow, CWI , The Netherlands
Verified email at cwi.nl - Homepage
TitleCited byYear
Towards a theory of declarative knowledge
KR Apt, HA Blair, A Walker
Foundations of deductive databases and logic programming, 89-148, 1988
16561988
Principles of constraint programming
K Apt
Cambridge university press, 2003
11722003
Logic Programming.
KR Apt
Handbook of Theoretical Computer Science, Volume B: Formal Models and …, 1990
9161990
Contributions to the theory of logic programming
KR Apt, MH Van Emden
Journal of the ACM 29 (3), 841-862, 1982
8961982
Verification of sequential and concurrent programs
K Apt, FS De Boer, ER Olderog
Springer Science & Business Media, 2010
7782010
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
7721981
Foundations of deductive databases and logic programming
J Minker
Morgan Kaufmann, 2014
7332014
Logic programming and negation: A survey
KR Apt, RN Bol
The Journal of Logic Programming 19, 9-71, 1994
6131994
From logic programming to Prolog
KR Apt
Prentice Hall, 1997
4811997
Limits for automatic verification of finite-state concurrent systems
KR Apt, D Kozen
Inf. Process. Lett. 22 (6), 307-309, 1986
4811986
Constraint logic programming using ECLiPSe
KR Apt, M Wallace
Cambridge University Press, 2006
4762006
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
4601980
Acyclic programs
KR Apt, M Bezem
New generation computing 9 (3-4), 335-363, 1991
3421991
A generic approach to coalition formation
KR Apt, A Witzel
International Game Theory Review 11 (03), 347-367, 2009
2892009
The essence of constraint propagation
KR Apt
Theoretical computer science 221 (1-2), 179-210, 1999
2801999
Concepts in programming languages
JC Mitchell, K Apt
Cambridge University Press, 2003
2482003
Countable nondeterminism and random assignment
KR Apt, GD Plotkin
Journal of the ACM (JACM) 33 (4), 724-767, 1986
2481986
Reasoning about termination of pure Prolog programs
KR Apt, D Pedreschi
Information and computation 106 (1), 109-157, 1993
2261993
Ten years of Hoare's logic: A survey—Part II: Nondeterminism
KR Apt
Theoretical Computer Science 28 (1-2), 83-109, 1983
211*1983
Appraising fairness in languages for distributed programming
KR Apt, N Francez, S Katz
Distributed Computing 2 (4), 226-241, 1988
2061988
The system can't perform the operation now. Try again later.
Articles 1–20