Krzysztof R. Apt
Krzysztof R. Apt
CWI fellow, CWI , The Netherlands
Email verificata su cwi.nl - Home page
Titolo
Citata da
Citata da
Anno
Towards a theory of declarative knowledge
KR Apt, HA Blair, A Walker
Foundations of deductive databases and logic programming, 89-148, 1988
17231988
Principles of constraint programming
K Apt
Cambridge university press, 2003
13032003
Logic Programming.
KR Apt
Handbook of Theoretical Computer Science, Volume B: Formal Models and…, 1990
9321990
Contributions to the theory of logic programming
KR Apt, MH Van Emden
Journal of the ACM (JACM) 29 (3), 841-862, 1982
9081982
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
8221981
Verification of sequential and concurrent programs
K Apt, FS De Boer, ER Olderog
Springer Science & Business Media, 2010
8162010
Logic programming and negation: A survey
KR Apt, RN Bol
The Journal of Logic Programming 19, 9-71, 1994
6411994
Constraint logic programming using ECLiPSe
KR Apt, M Wallace
Cambridge University Press, 2006
5222006
From logic programming to Prolog
KR Apt
Prentice Hall, 1997
5161997
Limits for automatic verification of finite-state concurrent systems
KR Apt, D Kozen
Inf. Process. Lett. 22 (6), 307-309, 1986
5161986
Foundations of deductive databases and logic programming
J Minker
Morgan Kaufmann, 2014
4802014
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
4511980
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
3242009
The essence of constraint propagation
KR Apt
Theoretical computer science 221 (1-2), 179-210, 1999
2971999
Concepts in programming languages
JC Mitchell, K Apt
Cambridge University Press, 2003
2922003
Countable nondeterminism and random assignment
KR Apt, GD Plotkin
Journal of the ACM (JACM) 33 (4), 724-767, 1986
2531986
Ten years of Hoare's logic: A survey—Part II: Nondeterminism
KR Apt
Theoretical Computer Science 28 (1-2), 83-109, 1983
225*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
2101988
Il sistema al momento non pu eseguire l'operazione. Riprova pi tardi.
Articoli 1–20