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
16831988
Principles of constraint programming
K Apt
Cambridge university press, 2003
12302003
Logic Programming.
KR Apt
Handbook of Theoretical Computer Science, Volume B: Formal Models and …, 1990
9241990
Contributions to the theory of logic programming
KR Apt, MH Van Emden
Journal of the ACM (JACM) 29 (3), 841-862, 1982
8971982
Verification of sequential and concurrent programs
K Apt, FS De Boer, ER Olderog
Springer Science & Business Media, 2010
7942010
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
7941981
Foundations of deductive databases and logic programming
J Minker
Morgan Kaufmann, 2014
7392014
Logic programming and negation: A survey
KR Apt, RN Bol
The Journal of Logic Programming 19, 9-71, 1994
6231994
From logic programming to Prolog
KR Apt
Prentice Hall, 1997
5011997
Limits for automatic verification of finite-state concurrent systems
KR Apt, D Kozen
Inf. Process. Lett. 22 (6), 307-309, 1986
4941986
Constraint logic programming using ECLiPSe
KR Apt, M Wallace
Cambridge University Press, 2006
4932006
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
4521980
Acyclic programs
KR Apt, M Bezem
New generation computing 9 (3-4), 335-363, 1991
3451991
A generic approach to coalition formation
KR Apt, A Witzel
International game theory review 11 (03), 347-367, 2009
2982009
The essence of constraint propagation
KR Apt
Theoretical computer science 221 (1-2), 179-210, 1999
2831999
Concepts in programming languages
JC Mitchell, K Apt
Cambridge University Press, 2003
2712003
Countable nondeterminism and random assignment
KR Apt, GD Plotkin
Journal of the ACM (JACM) 33 (4), 724-767, 1986
2501986
Reasoning about termination of pure Prolog programs
KR Apt, D Pedreschi
Information and computation 106 (1), 109-157, 1993
2251993
Appraising fairness in languages for distributed programming
KR Apt, N Francez, S Katz
Distributed Computing 2 (4), 226-241, 1988
2051988
Apt, Logic programming, Handbook of theoretical computer science (vol. B): formal models and semantics
R Krzysztof
MIT Press, Cambridge, MA, 1991
1961991
The system can't perform the operation now. Try again later.
Articles 1–20