J. Velebil
发表
J. Adámek,
S. Milius,
J. Velebil,
2022
.
J. Adámek,
R. Bashir,
J. Velebil,
2001
.
J. Velebil,
M. Lepší,
P. Lepší,
2022,
Folia Geobotanica.
M. Sochor,
B. Trávníček,
J. Velebil,
2016
.
D. Zahradník,
J. Velebil,
J. Šedivá,
2023,
Plants.
Jirí Adámek,
Stefan Milius,
Jiri Velebil,
2003,
Mathematical Structures in Computer Science.
Alexander Kurz,
Adriana Balan,
Jiri Velebil,
2018,
Log. Methods Comput. Sci..
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.
J. Rosický,
J. Velebil,
Panagis Karazeris,
2005
.
Jirí Adámek,
Stefan Milius,
Jiri Velebil,
2007,
MFCS.
J. Velebil,
Panagis Karazeris,
2009
.
Alexander Kurz,
Jiri Velebil,
A. Kurz,
2016,
J. Log. Algebraic Methods Program..
Jirí Adámek,
Stefan Milius,
Jiri Velebil,
2006,
CMCS.
Stefan Milius,
J. Ad,
R. B ¨ Orger,
2008
.
Alexander Kurz,
Jiri Velebil,
A. Kurz,
2011,
Mathematical Structures in Computer Science.
Jirí Adámek,
Stefan Milius,
Jiri Velebil,
2009,
CALCO.
J. Adámek,
J. Velebil,
2002
.
Jirí Adámek,
Stefan Milius,
Jiri Velebil,
2006,
Mathematical Structures in Computer Science.
Jiri Velebil,
Rostislav Horcík,
Marta Bílková,
2012,
Advances in Modal Logic.
Jirí Adámek,
Stefan Milius,
Jiri Velebil,
2002,
CMCS.
Alexander Kurz,
Jiri Velebil,
A. Kurz,
2016,
Mathematical Structures in Computer Science.
Jiri Velebil,
Matej Dostál,
J. Velebil,
2015,
Applied Categorical Structures.
J. Adámek,
L. Sousa,
J. Velebil,
2013,
Mathematical Structures in Computer Science.
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.
J. Velebil,
Jirí Adámek,
Matej Dostál,
2023,
CALCO.
J. Velebil,
Panagis Karazeris,
2022
.
Jirí Adámek,
Stefan Milius,
Jiri Velebil,
2010,
CMCS@ETAPS.
Alexander Kurz,
Jiri Velebil,
Daniela Petrisan,
2010,
ArXiv.
Jirí Adámek,
Stefan Milius,
Jiri Velebil,
2006,
MFPS.
P. Aczel,
J. Adámek,
J. Velebil,
2003,
Theor. Comput. Sci..
Peter Aczel,
Jirí Adámek,
Jiri Velebil,
2001,
CMCS.
Stefan Milius,
Jiri Velebil,
Jirí Adámek,
2006
.
Jirí Adámek,
Stefan Milius,
Jiri Velebil,
2009,
MFPS.