K. Apt
发表
Krzysztof R. Apt,
K. Apt,
1998,
Theor. Comput. Sci..
K. Apt,
1998
.
Krzysztof R. Apt,
Roland N. Bol,
K. Apt,
1994,
The Journal of Logic Programming.
K. Apt,
1990
.
K. Apt,
K. Doets,
1992
.
Krzysztof R. Apt,
Alessandro Pellegrini,
K. Apt,
1994,
TOPL.
Jacob Brunekreef,
Krzysztof R. Apt,
Andrea Schaerf,
1997,
TOPL.
G. Plotkin,
K. Apt,
1981
.
Francesca Rossi,
Krzysztof R. Apt,
Kristen Brent Venable,
2007,
Annals of Mathematics and Artificial Intelligence.
K. Apt,
1999
.
Krzysztof R. Apt,
van Jan Eijck,
K. Apt,
2008
.
K. Apt,
1996
.
K. Apt,
1994
.
K. Apt,
M. Bezem,
2022
.
K. Apt,
M. Gabbrielli,
K. R. Gabbrielli,
2003
.
K. Apt,
1997
.
K. Apt,
G. Schäfer,
2014
.
Krzysztof R. Apt,
K. Apt,
2001,
CACM.
Nico M. Temme,
Krzysztof R. Apt,
A. Schrijver,
1994
.
Krzysztof R. Apt,
K. Apt,
1981,
Acta Informatica.
K. Apt,
V. Partington,
Vincent Partington,
1998
.
K. Apt,
2005
.
K. Apt,
Baltasar Graci,
1997
.
Krzysztof R. Apt,
Dexter Kozen,
D. Kozen,
1986,
Inf. Process. Lett..
Francesca Rossi,
François Fages,
Krzysztof R. Apt,
2007,
CSCLP.
K. Apt,
E. Olderog,
2021,
Theories of Programming.
K. Apt,
M. Gabbrielli,
1994
.
Ernst-Rüdiger Olderog,
Krzysztof R. Apt,
K. Apt,
1997,
Graduate Texts in Computer Science.
K. Apt,
P. Hartel,
W. Vree,
2022
.
Francesca Rossi,
Krzysztof R. Apt,
Eric Monfrey,
1999
.
Frank S. de Boer,
Ernst-Rüdiger Olderog,
Krzysztof R. Apt,
2009
.
Krzysztof R. Apt,
K. Apt,
1985,
J. Log. Program..
Franco Turini,
Krzysztof R. Apt,
F. Turini,
1995
.
K. Apt,
2005
.
C. Hoare,
K. Apt,
2021,
ArXiv.
K. Apt,
E. Olderog,
2022,
Edsger Wybe Dijkstra.
Jonathan A. Zvesper,
K. Apt,
Andreas Witzel,
2009
.
J. Girard,
M. Nivat,
W. Hodges,
1987,
The Journal of Symbolic Logic.
J. Verwer,
K. Apt,
N. Temme,
1994
.
Krzysztof R. Apt,
Mark Wallace,
K. Apt,
2006
.
Krzysztof R. Apt,
J.-G. Smaus,
K. Apt,
2001
.
Krzysztof R. Apt,
K. Apt,
Yair Zick,
2020,
A Course in Game Theory.
Krzysztof R. Apt,
K. Apt,
1995,
Specification and validation methods.
Krzysztof R. Apt,
K. Apt,
2016,
Theory and Practice of Formal Methods.
Masami Hagiya,
Krzysztof R. Apt,
K. Apt,
1993
.
Krzysztof R. Apt,
Mark Wallace,
K. Apt,
2006
.
Nico M. Temme,
Krzysztof R. Apt,
te Herman Riele,
1994
.
Krzysztof R. Apt,
Mark Wallace,
K. Apt,
2006
.
Krzysztof R. Apt,
Guido Schaefer,
K. Apt,
2006
.
Krzysztof R. Apt,
K. Apt,
1992
.
Krzysztof R. Apt,
Mark Wallace,
K. Apt,
2006
.
Krzysztof R. Apt,
Mark Wallace,
K. Apt,
2006
.
Krzysztof R. Apt,
K. Apt,
W. Marek,
1974
.
K. Apt,
1972
.
Nico M. Temme,
Krzysztof R. Apt,
Ivan Herman,
1994
.
Krzysztof R. Apt,
Mark Wallace,
K. Apt,
2006
.
Claude Kirchner,
Krzysztof R. Apt,
C. Kirchner,
1998
.
Francesca Rossi,
Antonis C. Kakas,
Krzysztof R. Apt,
2000
.
Gábor Maróti,
Sandro Etalle,
Alexander Schrijver,
2002
.
Nico M. Temme,
Krzysztof R. Apt,
Lex Schrijver,
1994
.
Masami Hagiya,
Krzysztof R. Apt,
K. Apt,
1993
.
Preface: Proceedings of the joint international conference and symposium on logic programming (1992)
Krzysztof R. Apt,
K. Apt,
1992
.
Nico M. Temme,
Krzysztof R. Apt,
Lex Schrijver,
1994
.
Krzysztof R. Apt,
Mark Wallace,
K. Apt,
2006
.
Nico M. Temme,
Krzysztof R. Apt,
Arno Siebes,
1994
.
Nico M. Temme,
Krzysztof R. Apt,
Martin Kersten,
1994
.
Antonis C. Kakas,
Krzysztof R. Apt,
F. Sadri,
2001
.
Krzysztof R. Apt,
Mark Wallace,
K. Apt,
2006
.
Krzysztof R. Apt,
Mark Wallace,
K. Apt,
2006
.
Krzysztof R. Apt,
K. Apt,
1984
.
Maurizio Gabbrielli,
Krzysztof R. Apt,
K. Apt,
1994,
ICLP.
Krzysztof R. Apt,
K. Apt,
1986,
TOPL.
Krzysztof R. Apt,
Erich Grädel,
E. Grädel,
2011
.
Victor W. Marek,
Miroslaw Truszczynski,
Krzysztof R. Apt,
1999
.
Krzysztof R. Apt,
Mark Wallace,
K. Apt,
2006
.
Krzysztof R. Apt,
K. Apt,
2017,
Theory and Practice of Logic Programming.
Krzysztof R. Apt,
K. Apt,
2012,
Theory and Practice of Logic Programming.
Krzysztof R. Apt,
Mark Wallace,
K. Apt,
2006
.
Krzysztof R. Apt,
Mark Wallace,
K. Apt,
2006
.
Krzysztof R. Apt,
Mark Wallace,
K. Apt,
2006
.
Krzysztof R. Apt,
K. Apt,
2002
.
Krzysztof R. Apt,
K. Apt,
1978
.
Krzysztof R. Apt,
J. W. de Bakker,
J. W. Bakker,
1976,
MFCS.
Krzysztof R. Apt,
Jan Willem Klop,
J.J.C. Meijer,
1989
.
Krzysztof R. Apt,
K. Apt,
1977,
Formal Description of Programming Concepts.
Krzysztof R. Apt,
J. W. de Bakker,
J. M. Rutten,
1993
.
E. Dijkstra,
K. Apt,
2022,
Edsger Wybe Dijkstra.
J. Bergstra,
K. Apt,
N. Temme,
1994
.
K. Apt,
J. Heering,
2022,
ArXiv.
Judith A. Markowitz,
Michelle R. Sams,
V. M. Holland,
2016,
Monatshefte.
Krzysztof Apt,
K. Apt,
2003
.
Krzysztof R. Apt,
K. Apt,
1983,
JACM.
Krzysztof R. Apt,
K. Apt,
1981,
TOPL.
Willem P. de Roever,
Nissim Francez,
Krzysztof R. Apt,
1980,
ACM Trans. Program. Lang. Syst..
Krzysztof R. Apt,
Howard A. Blair,
K. Apt,
1991,
Fundam. Informaticae.
Krzysztof R. Apt,
Sebastian Brand,
K. Apt,
2006,
CP.
Krzysztof R. Apt,
Sebastian Brand,
K. Apt,
2005,
12th International Symposium on Temporal Representation and Reasoning (TIME'05).
Krzysztof R. Apt,
K. Apt,
1989,
NATO ASI Series.
Krzysztof R. Apt,
K. Apt,
Krzysztof R. AptJanuary,
2003
.
K. Apt,
1994
.
Krzysztof R. Apt,
K. Apt,
2011,
Lectures in Game Theory for Computer Scientists.
Frank S. de Boer,
Ernst-Rüdiger Olderog,
Krzysztof R. Apt,
1997,
Texts and Monographs in Computer Science.
Krzysztof R. Apt,
K. Apt,
1997,
ICALP.
Ernst-Rüdiger Olderog,
Krzysztof R. Apt,
K. Apt,
1983,
Sci. Comput. Program..
Krzysztof R. Apt,
Jan Willem Klop,
Roland N. Bol,
1991,
Theor. Comput. Sci..
Krzysztof R. Apt,
Jan Willem Klop,
Roland N. Bol,
1990,
DISCO.
Krzysztof R. Apt,
Eric Monfroy,
K. Apt,
2000,
Theory and Practice of Logic Programming.
Krzysztof R. Apt,
Eric Monfroy,
K. Apt,
2001
.
Krzysztof R. Apt,
K. Apt,
2020,
Edsger Wybe Dijkstra.
Krzysztof Apt,
J.-L. Richier,
K. Apt,
1986
.
Francesca Rossi,
Antonis C. Kakas,
Krzysztof R. Apt,
2001,
Lecture Notes in Computer Science.
F. Rossi,
K. Apt,
K. Venable,
2005,
ArXiv.
Krzysztof R. Apt,
Gordon D. Plotkin,
G. Plotkin,
1986,
JACM.
Krzysztof R. Apt,
K. Apt,
2003
.
Krzysztof R. Apt,
K. Apt,
1995,
Sci. Comput. Program..
Victor W. Marek,
Miroslaw Truszczynski,
Krzysztof R. Apt,
2011
.
Dino Pedreschi,
Krzysztof R. Apt,
D. Pedreschi,
1990
.
Krzysztof R. Apt,
Frank Teusink,
K. Apt,
1995
.
K. Apt,
Sunil Simon,
2014,
Theory and Decision.
Krzysztof R. Apt,
Sunil Simon,
K. Apt,
2012,
SAGT.
Vincent Conitzer,
Evangelos Markakis,
Mingyu Guo,
2012,
J. Artif. Intell. Res..
Evangelos Markakis,
Krzysztof R. Apt,
E. Markakis,
2009,
WINE.
Evangelos Markakis,
Krzysztof R. Apt,
E. Markakis,
2008,
AAMAS.
Krzysztof R. Apt,
Arantza Estévez-Fernández,
K. Apt,
2008,
SAGT.
Vincent Conitzer,
Evangelos Markakis,
Mingyu Guo,
2008,
WINE.
Maurizio Gabbrielli,
Dino Pedreschi,
Krzysztof R. Apt,
1994,
J. Log. Program..
Adrian Walker,
Krzysztof R. Apt,
Howard A. Blair,
1988,
Foundations of Deductive Databases and Logic Programming..
Ernst-Rüdiger Olderog,
Krzysztof R. Apt,
K. Apt,
1991
.
A. Schrijver,
K. Apt,
N. Temme,
1994
.
Nissim Francez,
Shmuel Katz,
Krzysztof R. Apt,
1988,
Distributed Computing.
Ernst-Rüdiger Olderog,
Krzysztof R. Apt,
K. Apt,
2019,
Formal Aspects of Computing.
Krzysztof R. Apt,
Jean Pugin,
K. Apt,
1987
.
Krzysztof R. Apt,
Dominik Wojtczak,
K. Apt,
2018,
J. Artif. Intell. Res..
Frank S. de Boer,
Ernst-Rüdiger Olderog,
Krzysztof R. Apt,
2010,
J. Comput. Syst. Sci..
Krzysztof R. Apt,
Dominik Wojtczak,
K. Apt,
2019,
TARK.
Krzysztof R. Apt,
K. Apt,
1990,
Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.
Andreas Witzel,
Krzysztof R. Apt,
K. Apt,
2007,
IGTR.
Krzysztof R. Apt,
Tadeusz Radzik,
K. Apt,
2006,
ArXiv.
Krzysztof R. Apt,
Guido Schäfer,
K. Apt,
2011,
SAGT.
Frank S. de Boer,
Ernst-Rüdiger Olderog,
Krzysztof R. Apt,
2009,
Languages: From Formal to Natural.
Victor W. Marek,
Krzysztof R. Apt,
David Scott Warren,
1999,
Artificial Intelligence.
Frank S. de Boer,
Krzysztof R. Apt,
F. S. Boer,
2019,
ArXiv.
Krzysztof R. Apt,
K. Apt,
2000,
Computational Logic.
Ernst-Rüdiger Olderog,
Krzysztof R. Apt,
K. Apt,
1991
.
Ernst-Rüdiger Olderog,
Krzysztof R. Apt,
K. Apt,
1989,
Formal Description of Programming Concepts.
Krzysztof R. Apt,
K. Apt,
1984,
Theor. Comput. Sci..
Andreas Witzel,
Jonathan A. Zvesper,
Krzysztof R. Apt,
2009,
Autonomous Agents and Multi-Agent Systems.
Jonathan A. Zvesper,
Krzysztof R. Apt,
K. Apt,
2010,
Games.
Krzysztof R. Apt,
Jean-Marc Pugin,
K. Apt,
1987,
PODS.
Krzysztof R. Apt,
K. Apt,
1996,
Prentice Hall International series in computer science.
Jonathan A. Zvesper,
Krzysztof R. Apt,
K. Apt,
2007,
ArXiv.
Krzysztof R. Apt,
K. Apt,
2007,
TARK '07.
Krzysztof R. Apt,
K. Apt,
2006,
ArXiv.
Krzysztof R. Apt,
K. Apt,
2005,
TARK.
Krzysztof R. Apt,
K. Apt,
2004,
ArXiv.
Dino Pedreschi,
Krzysztof R. Apt,
D. Pedreschi,
1993,
Inf. Comput..
Krzysztof R. Apt,
Dominik Wojtczak,
K. Apt,
2017,
TARK.
Krzysztof R. Apt,
Dominik Wojtczak,
Sunil Simon,
2019,
Math. Oper. Res..
Krzysztof R. Apt,
Mona Rahn,
Guido Schäfer,
2015,
Int. J. Game Theory.
Krzysztof R. Apt,
K. Apt,
1999,
CP.
K. Apt,
Sunil Simon,
2023,
TARK.
K. Apt,
Sunil Simon,
2022,
Bull. EATCS.
Krzysztof R. Apt,
Sunil Simon,
K. Apt,
2021,
TARK.
Jonathan A. Zvesper,
Krzysztof R. Apt,
K. Apt,
2010,
CLIMA.
Krzysztof R. Apt,
K. Apt,
2010,
ArXiv.
F. Rossi,
K. Apt,
K. Venable,
2005,
ArXiv.
Krzysztof R. Apt,
K. Apt,
2007,
ArXiv.
Krzysztof R. Apt,
Erich Grdel,
K. Apt,
2011
.
Francesca Rossi,
Krzysztof R. Apt,
Kristen Brent Venable,
2008,
CSCLP.
Krzysztof R. Apt,
M. H. van Emden,
K. Apt,
1982,
JACM.
Wiebe van der Hoek,
Krzysztof R. Apt,
Davide Grossi,
2016,
TARK.
Luc Bougé,
Krzysztof R. Apt,
Ph. Clermont,
1987,
Inf. Process. Lett..
Shmuel Katz,
K. R. Apt,
Nissim Francez,
1987,
POPL '87.
K. R. Apt,
K. Apt,
1986
.
Krzysztof R. Apt,
K. Apt,
1986,
TOPL.
Carole Delporte-Gallet,
Krzysztof R. Apt,
K. Apt,
1986,
Inf. Control..
Nissim Francez,
Krzysztof R. Apt,
K. Apt,
1984,
TOPL.
Krzysztof R. Apt,
K. Apt,
1983,
Logic of Programs.
Evangelos Markakis,
Krzysztof R. Apt,
E. Markakis,
2011,
SAGT.
Krzysztof R. Apt,
Sunil Simon,
K. Apt,
2013,
GandALF.
E. Markakis,
K. Apt,
Sunil Simon,
2013,
Synthese.
Krzysztof R. Apt,
Sunil Simon,
K. Apt,
2012,
J. Log. Comput..
Evangelos Markakis,
Krzysztof R. Apt,
E. Markakis,
2012,
Fundam. Informaticae.
Krzysztof R. Apt,
Sunil Simon,
K. Apt,
2012,
WINE.
Krzysztof R. Apt,
Mark Wallace,
K. Apt,
2007
.
Krzysztof R. Apt,
Andrea Schaerf,
K. Apt,
1997,
POPL '97.
Krzysztof R. Apt,
Gordon D. Plotkin,
G. Plotkin,
1981,
ICALP.
Farhad Arbab,
Krzysztof R. Apt,
Huiye Ma,
2008,
2008 International Conference on Computational Intelligence for Modelling Control & Automation.
Farhad Arbab,
Krzysztof R. Apt,
Huiye Ma,
2007,
ArXiv.
K. Apt,
R. Bol,
1994,
J. Log. Program..
Dino Pedreschi,
Krzysztof R. Apt,
D. Pedreschi,
1991,
TACS.
Krzysztof R. Apt,
Dominik Wojtczak,
Sunil Simon,
2015,
TARK.
Krzysztof R. Apt,
Marc Bezem,
K. Apt,
1998,
The Logic Programming Paradigm.
Krzysztof R. Apt,
Jan Willem Klop,
Roland N. Bol,
1989,
ICLP.
Krzysztof R. Apt,
K. Apt,
1998,
Fundam. Informaticae.
Stijn de Gouw,
F. S. Boer,
K. Apt,
2010,
J. Comput. Syst. Sci..
Ernst-Rüdiger Olderog,
Krzysztof R. Apt,
K. Apt,
1988,
TOPL.
Ernst-Rüdiger Olderog,
Krzysztof R. Apt,
K. Apt,
1984,
STACS.
Franco Turini,
Krzysztof R. Apt,
F. Turini,
1995
.
Andreas Witzel,
Jonathan A. Zvesper,
Krzysztof R. Apt,
2009,
LORI.
K. Apt,
2007,
TARK '07.
Jonathan A. Zvesper,
K. Apt,
2010,
Games.
Mario Rodríguez-Artalejo,
Manuel Garrido,
Heinz-Dieter Ebbinghaus,
1987,
The Journal of Symbolic Logic.
K. Apt,
B. D. Keijzer,
2013,
Bull. EATCS.
K. Apt,
B. D. Keijzer,
2013
.
K. Apt,
B. D. Keijzer,
2013
.
Krzysztof R. Apt,
Bart de Keijzer,
K. Apt,
2013
.
K. Apt,
E. Marchiori,
1994,
Formal Aspects of Computing.
Krzysztof R. Apt,
K. Apt,
1999,
New Trends in Constraints.
Elena Marchiori,
Krzysztof R. Apt,
Catuscia Palamidessi,
1992,
Applicable Algebra in Engineering, Communication and Computing.
Elena Marchiori,
Krzysztof R. Apt,
Catuscia Palamidessi,
1992,
ALP.
Krzysztof R. Apt,
K. Apt,
1988
.
Krzysztof R. Apt,
Ehsan Shoja,
K. Apt,
2018,
It's All About Coordination.
Ernst-Rüdiger Olderog,
Krzysztof R. Apt,
F. S. de Boer,
1990
.
K. Apt,
M. Wallace,
2007
.
K. Apt,
Andrea Schaerf,
J. Brunekreef,
1997
.
Krzysztof Apt,
J.-G. Smaus,
K. Apt,
2001
.
Amir Pnueli,
Krzysztof R. Apt,
Jonathan Stavi,
1984,
Theor. Comput. Sci..
K. Apt,
B. D. Keijzer,
G. Schäfer,
2015,
International Journal of Game Theory.