A. Kurz
发表
M. Bonsangue,
A. Kurz,
Ingrid Rewitzky,
2007
.
A. Kurz,
M. Bidoit,
R. Hennicker,
2022
.
A. Kurz,
Christian Kissig,
2012
.
A. Kurz,
E. Tuosto,
Tomoyuki Suzuki,
2012
.
A. Kurz,
H. Hansen,
Zeinab Bakhtiari,
2019
.
A. Kurz,
D. Pattinson,
2000
.
A. Kurz,
Alessandra Palmigiano,
G. Greco,
2021,
2105.06877.
Alexander Kurz,
A. Kurz,
A. Kurz,
2000
.
A. Kurz,
Y. Venema,
C. Kupke,
2008
.
A. Kurz,
E. Doberkat,
2013
.
Lutz Schröder,
A. Kurz,
Y. Venema,
2010
.
Alexander Kurz,
Marina Lenisa,
Andrzej Tarlecki,
2009,
CALCO.
A. Kurz,
M. Apps,
E. Banfield,
2002
.
A. Kurz,
2008
.
Alessandra Palmigiano,
Giuseppe Greco,
Alexander Kurz,
2016,
J. Log. Comput..
Alessandra Palmigiano,
Giuseppe Greco,
Alexander Kurz,
2016,
J. Log. Comput..
A. Kurz,
B. Teheux,
Wolfgang Poiger,
2023,
2301.13406.
Alexander Kurz,
Adriana Balan,
A. Kurz,
2021,
ArXiv.
Alexander Kurz,
Bruno Teheux,
Marta Bílková,
2017
.
Ernst-Erich Doberkat,
Alexander Kurz,
A. Kurz,
2012,
Dagstuhl Reports.
Corina Cîrstea,
Yde Venema,
Alexander Kurz,
2008,
Comput. J..
Alessandra Palmigiano,
Giuseppe Greco,
Alexander Kurz,
2013,
LORI.
Alexander Kurz,
Adriana Balan,
Jiri Velebil,
2018,
Log. Methods Comput. Sci..
Alexander Kurz,
Dirk Pattinson,
Clemens Kupke,
2004,
CMCS.
Alexander Kurz,
Dirk Pattinson,
A. Kurz,
2002
.
Alexander Kurz,
A. Kurz,
1998,
CMCS.
Alexander Kurz,
A. Kurz,
1998
.
Alexander Kurz,
Fredrik Dahlqvist,
A. Kurz,
2018,
CALCO.
Alexander Kurz,
Adriana Balan,
Jiri Velebil,
2015,
J. Log. Comput..
Alexander Kurz,
Adriana Balan,
Jiri Velebil,
2013,
CALCO.
Alexander Kurz,
Jiri Velebil,
Krzysztof Kapulkin,
2012,
Advances in Modal Logic.
Alexander Kurz,
Adriana Balan,
A. Kurz,
2011,
CALCO.
Alexander Kurz,
Nick Bezhanishvili,
A. Kurz,
2007,
CALCO.
Alexander Kurz,
Jirí Rosický,
A. Kurz,
2005,
Appl. Categorical Struct..
Alessandra Palmigiano,
Alexander Kurz,
A. Kurz,
2013,
Log. Methods Comput. Sci..
Emilio Tuosto,
Alexander Kurz,
Tomoyuki Suzuki,
2012,
FoSSaCS.
Alexander Kurz,
Jiri Velebil,
A. Kurz,
2016,
J. Log. Algebraic Methods Program..
Alexander Kurz,
Jirí Rosický,
A. Kurz,
2012,
Log. Methods Comput. Sci..
Yde Venema,
Alexander Kurz,
Clemens Kupke,
2012,
Log. Methods Comput. Sci..
Alexander Kurz,
Raul Andres Leal,
A. Kurz,
2012,
Theor. Comput. Sci..
Alexander Kurz,
Jiri Velebil,
A. Kurz,
2011,
Mathematical Structures in Computer Science.
Alexander Kurz,
Daniela Petrisan,
A. Kurz,
2010,
Inf. Comput..
Alexander Kurz,
Jirí Rosický,
A. Kurz,
2007,
CALCO.
Alexander Kurz,
A. Kurz,
Riccardo Pucella,
2006,
SIGA.
Alexander Kurz,
A. Kurz,
2006,
ArXiv.
Marcello M. Bonsangue,
Alexander Kurz,
M. Bonsangue,
2006,
FoSSaCS.
Alexander Kurz,
Dirk Pattinson,
Clemens Kupke,
2005,
CALCO.
Marcello M. Bonsangue,
Alexander Kurz,
M. Bonsangue,
2005,
FoSSaCS.
Alexander Kurz,
Dirk Pattinson,
A. Kurz,
2002,
CMCS.
Yde Venema,
Alexander Kurz,
A. Kurz,
2010
.
Guram Bezhanishvili,
Alexander Kurz,
Nick Bezhanishvili,
2010,
Mathematical Structures in Computer Science.
Yde Venema,
Alexander Kurz,
Clemens Kupke,
2004,
CMCS.
Alessandra Palmigiano,
Giuseppe Greco,
Alexander Kurz,
2016,
ArXiv.
M. Andrew Moshier,
Achim Jung,
Alexander Kurz,
2019,
ArXiv.
Marcello M. Bonsangue,
Alexander Kurz,
M. Bonsangue,
2007,
22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007).
Stefan Milius,
Alexander Kurz,
Dirk Pattinson,
2014,
Software, Services, and Systems.
Alexander Kurz,
Raul Andres Leal,
A. Kurz,
2009,
MFPS.
Emilio Tuosto,
Hao Zeng,
Alexander Kurz,
2019,
ICE.
Alessandra Palmigiano,
Giuseppe Greco,
Alexander Kurz,
2018,
ITP.
A. Kurz,
2021
.
Alexander Kurz,
Octavian Babus,
A. Kurz,
2016,
CMCS.
Alexander Kurz,
Jiri Velebil,
A. Kurz,
2016,
Mathematical Structures in Computer Science.
Paula Severi,
Alexander Kurz,
Fer-Jan de Vries,
2013,
Log. Methods Comput. Sci..
Alexander Kurz,
Jiri Velebil,
Daniela Petrisan,
2013,
Log. Methods Comput. Sci..
Alexander Kurz,
Jiri Velebil,
A. Kurz,
2011,
Applied Categorical Structures.
Alexander Kurz,
Jiri Velebil,
Daniela Petrisan,
2011,
CALCO.
Alexander Kurz,
Neil Ghani,
Neil Ghani,
2007,
CALCO.
Alexander Kurz,
Michel Bidoit,
Rolf Hennicker,
2003,
Theor. Comput. Sci..
Alexander Kurz,
A. Kurz,
2002,
WADT.
Alexander Kurz,
Michel Bidoit,
Rolf Hennicker,
2001,
FoSSaCS.
Dirk Pattinson,
Alexander Kurz,
A. Kurz,
2000,
CMCS.
A. Kurz,
G. Greco,
Samuel Balco,
2021,
2105.06877.
Alexander Kurz,
Jiří Rosický,
A. Kurz,
2005,
Mathematical Structures in Computer Science.
Jurriaan Rot,
Marcello M. Bonsangue,
Helle Hvid Hansen,
2013,
CALCO.
Alexander Kurz,
Jiri Velebil,
Daniela Petrisan,
2010,
ArXiv.
Alexander Kurz,
Adriana Balan,
A. Kurz,
2010,
CMCS@ETAPS.
A. Kurz,
B. Teheux,
Wolfgang Poiger,
2023,
Journal of Pure and Applied Algebra.
Alexander Kurz,
Jirí Rosický,
A. Kurz,
2002,
CMCS.
A. Kurz,
J. Rosický,
2007,
CALCO.