L. Barto
发表
L. Barto,
2013,
Canadian Journal of Mathematics.
Libor Barto,
L. Barto,
2015,
The Bulletin of Symbolic Logic.
Libor Barto,
Andrei A. Krokhin,
Ross Willard,
2017,
The Constraint Satisfaction Problem.
L. Barto,
M. Kozik,
D. Stanovský,
2015
.
Libor Barto,
Marcin Kozik,
L. Barto,
2017,
The Constraint Satisfaction Problem.
L. Barto,
2019
.
L. Barto,
2005
.
L. Barto,
2019,
1909.04875.
Libor Barto,
L. Barto,
2016,
Annual Conference for Computer Science Logic.
Libor Barto,
L. Barto,
2006
.
Libor Barto,
L. Barto,
2014
.
Libor Barto,
L. Barto,
2009,
Appl. Categorical Struct..
Libor Barto,
Marcin Kozik,
Dmitriy Zhuk,
2021,
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Libor Barto,
Diego Battistelli,
Kevin M. Berg,
2020,
STACS.
Libor Barto,
Marcin Kozik,
L. Barto,
2014,
JACM.
Libor Barto,
Alexandr Kazda,
L. Barto,
2015,
Int. J. Algebra Comput..
Libor Barto,
Marcin Kozik,
L. Barto,
2015,
SIAM J. Comput..
L. Barto,
2007
.
L. Barto,
2007
.
L. Barto,
D. Stanovský,
V. Koubek,
2006
.
L. Barto,
A. Mottet,
2023,
2307.06740.
Libor Barto,
Marcin Kozik,
L. Barto,
2021,
SODA.
Libor Barto,
Kristina Asimi,
L. Barto,
2020,
MFCS.
Libor Barto,
Marcin Kozik,
Todd Niven,
2008,
SIAM J. Comput..
Libor Barto,
Marcin Kozik,
L. Barto,
2009,
2009 50th Annual IEEE Symposium on Foundations of Computer Science.
L. Barto,
Silvia Butti,
2022,
CP.
M. Maróti,
R. McKenzie,
L. Barto,
2009
.
Libor Barto,
L. Barto,
2011,
2011 IEEE 26th Annual Symposium on Logic in Computer Science.
Libor Barto,
L. Barto,
2019,
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Libor Barto,
L. Barto,
2016,
J. Log. Comput..
Libor Barto,
L. Barto,
2014,
SIGL.
Libor Barto,
Michael Pinsker,
Jakub Oprsal,
2015,
Israel Journal of Mathematics.
Libor Barto,
Michael Pinsker,
Michael Kompatscher,
2016,
J. Math. Log..