Konstantin Korovin
发表
Andrew Currin,
Philip J. Day,
Douglas B. Kell,
2016,
Journal of The Royal Society Interface.
Robert King,
Douglas B. Kell,
Konstantin Korovin,
2017
.
Harald Ganzinger,
Konstantin Korovin,
H. Ganzinger,
2004,
CSL.
Konstantin Korovin,
2013,
FroCos.
Andrei Voronkov,
Konstantin Korovin,
A. Voronkov,
2003,
CADE.
Konstantin Korovin,
2009,
CADE.
Andrei Voronkov,
Konstantin Korovin,
Zurab Khasidashvili,
2012,
IJCAR.
Margus Veanes,
Konstantin Korovin,
2014,
ICMS.
The Decidability of the First-Order Theory of the Knuth-Bendix Order in the Case of Unary Signatures
Andrei Voronkov,
Konstantin Korovin,
2002,
FSTTCS.
Andrei Voronkov,
Konstantin Korovin,
A. Voronkov,
2003,
Inf. Comput..
Konstantin Korovin,
Christoph Sticksel,
C. Sticksel,
2010,
LPAR.
Konstantin Korovin,
Andrzej Stanislaw Kucik,
2018,
ArXiv.
Andrei Voronkov,
Nestan Tsiskaridze,
Konstantin Korovin,
2011,
Ershov Memorial Conference.
Konstantin Korovin,
André Duarte,
Konstantin Korovin,
2020,
IJCAR.
Nestan Tsiskaridze,
Konstantin Korovin,
Andrei Voronkov,
2009,
CP.
Andrei Voronkov,
Konstantin Korovin,
Zurab Khasidashvili,
2010,
Formal Methods in Computer Aided Design.
Thomas Sturm,
Konstantin Korovin,
Marek Kosta,
2014,
SMT.
Konstantin Korovin,
2006,
ICLP 2006.
Andrei Voronkov,
Konstantin Korovin,
A. Voronkov,
2007,
CSL.
Santiago Escobar,
Konstantin Korovin,
Vladimir V Rybakov,
2014,
UNIF.
Nikolaj Bjørner,
Arie Gurfinkel,
Ori Lahav,
2013,
LPAR.
Andrei Voronkov,
Konstantin Korovin,
Zurab Khasidashvili,
2012,
2012 Formal Methods in Computer-Aided Design (FMCAD).
Harald Ganzinger,
Konstantin Korovin,
H. Ganzinger,
2006,
LPAR.
Konstantin Korovin,
Zurab Khasidashvili,
Z. Khasidashvili,
2016,
SAT.
Andrei Voronkov,
Konstantin Korovin,
A. Voronkov,
2003,
18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings..
Andrei Voronkov,
Konstantin Korovin,
A. Voronkov,
2002,
TOCL.
Andrei Voronkov,
Konstantin Korovin,
A. Voronkov,
2000,
Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.99CB36332).
Konstantin Korovin,
Konstantin Korovin,
2013,
Programming Logics.
Konstantin Korovin,
Norbert Th. Müller,
Margarita V. Korovina,
2019,
FroCos.
Konstantin Korovin,
2009
.
Andrei Voronkov,
Laura Kovács,
Ioan Dragan,
2013,
2013 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing.
Andrei Voronkov,
Konstantin Korovin,
2001,
ICALP.
Konstantin Korovin,
Barbara Morawska,
2013,
UNIF@RTA/TLCA.
Andrei Voronkov,
Konstantin Korovin,
2005,
MFCS.
Eugenia Ternovska,
Konstantin Korovin,
Stephan Schulz,
2013,
IWIL@LPAR.
Konstantin Korovin,
2013,
FroCos.
Konstantin Korovin,
Julio Cesar Lopez Hernandez,
J. C. López-Hernández,
2017,
IWIL@LPAR.
Harald Ganzinger,
Konstantin Korovin,
H. Ganzinger,
2003,
18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings..
Julio César López-Hernández,
Konstantin Korovin,
Konstantin Korovin,
2018,
IJCAR.
Konstantin Korovin,
Christoph Sticksel,
C. Sticksel,
2010,
IJCAR.
Konstantin Korovin,
Sergey lgorevitch Fedorenko,
2012
.
Konstantin Korovin,
Zurab Khasidashvili,
Dmitry Tsarkov,
2015,
GCAI.
Andrei Voronkov,
Konstantin Korovin,
2000,
ARW.
Andrei Voronkov,
Konstantin Korovin,
2011,
Ershov Memorial Conference.
Andrei Voronkov,
Konstantin Korovin,
A. Voronkov,
2011,
CADE.
Andrei Voronkov,
Konstantin Korovin,
2001,
RTA.
Konstantin Korovin,
Konstantin Korovin,
2008,
IJCAR.
Tom Melham,
Konstantin Korovin,
Ahmed Bhayat,
2021
.
Konstantin Korovin,
Margarita V. Korovina,
Franz Brausse,
2021,
CADE.
Konstantin Korovin,
Zurab Khasidashvili,
Franz Brausse,
2021,
ArXiv.
Konstantin Korovin,
Edvard K. Holden,
Konstantin Korovin,
2021,
CICM.
Konstantin Korovin,
Andr'e Duarte,
Konstantin Korovin,
2021,
TABLEAUX.
Konstantin Korovin,
2008
.