Marek Kosta
发表
Marek Kosta,
M. Kosta,
2016
.
Christopher W. Brown,
Marek Kosta,
M. Kosta,
2015,
J. Symb. Comput..
Matthew England,
James H. Davenport,
Dima Grigoriev,
2017,
ISSAC.
Pavol Duris,
Marek Kosta,
2011,
ITAT.
Thomas Sturm,
Konstantin Korovin,
Marek Kosta,
2014,
SMT.
Thomas Sturm,
Andreas Dolzmann,
Marek Kosta,
2014,
SMT.
Thomas Sturm,
Ralf Karrenberg,
Marek Kosta,
2013,
FroCos.
Matthew England,
James H. Davenport,
Dima Grigoriev,
2019,
J. Symb. Comput..
Thomas Sturm,
Marek Kosta,
T. Sturm,
2015,
ArXiv.
Pavol Duris,
Marek Kosta,
P. Duris,
2014,
Inf. Process. Lett..