Folgen
Krzysztof R. Apt
Krzysztof R. Apt
CWI fellow, CWI , The Netherlands
Bestätigte E-Mail-Adresse bei cwi.nl - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Towards a theory of declarative knowledge
KR Apt, HA Blair, A Walker
Foundations of deductive databases and logic programming, 89-148, 1988
18751988
Principles of constraint programming
K Apt
Cambridge university press, 2003
14882003
Logic programming
KR Apt
Handbook of theoretical computer science (vol. B) formal models and …, 1991
9881991
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
K Apt, FS De Boer, ER Olderog
Springer Science & Business Media, 2010
9572010
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
8941981
Logic programming and negation: A survey
KR Apt, RN Bol
The Journal of Logic Programming 19, 9-71, 1994
6711994
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
5711986
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
4931980
A generic approach to coalition formation
KR Apt, A Witzel
International game theory review 11 (03), 347-367, 2009
3752009
Acyclic programs
KR Apt, M Bezem
New generation computing 9, 335-363, 1991
3691991
Concepts in programming languages
JC Mitchell
Cambridge University Press, 2003
3332003
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
2331993
Lectures in game theory for computer scientists
KR Apt, E Grädel
Cambridge University Press, 2011
1582011
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20