Seguir
Krzysztof R. Apt
Krzysztof R. Apt
CWI fellow, CWI , The Netherlands
Dirección de correo verificada de cwi.nl - Página principal
Título
Citado por
Citado por
Año
Towards a theory of declarative knowledge
KR Apt, HA Blair, A Walker
Foundations of deductive databases and logic programming, 89-148, 1988
18631988
Principles of constraint programming
K Apt
Cambridge university press, 2003
14742003
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
9581982
Verification of sequential and concurrent programs
K Apt, FS De Boer, ER Olderog
Springer Science & Business Media, 2010
9452010
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
8901981
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
5651986
Constraint logic programming using ECLiPSe
KR Apt, M Wallace
Cambridge University Press, 2006
5482006
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
253*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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20