Dmitry Tishkovsky

发表

Clare Dixon, Boris Konev, Renate A. Schmidt, 2012, 2012 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing.
Renate A. Schmidt, Dmitry Tishkovsky, Stefan Minica, 2012, PAAR@IJCAR.
Renate A. Schmidt, Dmitry Tishkovsky, Mohammad Khodadadi, 2011, TABLEAUX.
Renate A. Schmidt, Dmitry Tishkovsky, R. Schmidt, 2012, ACM Trans. Comput. Log..
Boris Konev, Renate A. Schmidt, Dmitry Tishkovsky, 2012 .
Renate A. Schmidt, Dmitry Tishkovsky, R. Schmidt, 2008, J. Log. Lang. Inf..
Michael Fisher, Alexei Lisitsa, Boris Konev, 2006 .
Renate A. Schmidt, Dmitry Tishkovsky, Mohammad Khodadadi, 2012, JELIA.
Renate A. Schmidt, Dmitry Tishkovsky, 2007, ISWC/ASWC.
Andrei Voronkov, Dmitry Tishkovsky, Giles Reger, 2015, CADE.
Renate A. Schmidt, Dmitry Tishkovsky, Mohammad Khodadadi, 2013, Description Logics.
Renate A. Schmidt, Dmitry Tishkovsky, R. Schmidt, 2009, TABLEAUX.
Frank Wolter, Michael Zakharyaschev, Dmitry Tishkovsky, 2007, J. Log. Comput..
Renate A. Schmidt, Dmitry Tishkovsky, 2011, Log. Methods Comput. Sci..
Renate A. Schmidt, Dmitry Tishkovsky, R. Schmidt, 2002, Advances in Modal Logic.
Frank Wolter, Michael Zakharyaschev, Ullrich Hustadt, 2006, JELIA.
Renate A. Schmidt, Dmitry Tishkovsky, R. Schmidt, 2002, JELIA.
Frank Wolter, Michael Zakharyaschev, Dmitry Tishkovsky, 2005, Description Logics.
Renate A. Schmidt, Dmitry Tishkovsky, Michal Zawidzki, 2013, Inf. Process. Lett..
Renate A. Schmidt, Dmitry Tishkovsky, Mohammad Khodadadi, 2012, PAAR@IJCAR.
Renate A. Schmidt, Dmitry Tishkovsky, R. Schmidt, 2004, Annals of Mathematics and Artificial Intelligence.
Renate A. Schmidt, Dmitry Tishkovsky, R. Schmidt, 2001 .
Frank Wolter, Michael Zakharyaschev, Dmitry Tishkovsky, 2005, LPAR.
Camilla Schwind, Nicola Olivetti, Dmitry Tishkovsky, 2010, CSL.
Renate A. Schmidt, Dmitry Tishkovsky, R. Schmidt, 2013, ArXiv.
Frank Wolter, Michael Zakharyaschev, Dmitry Tishkovsky, 2006, Advances in Modal Logic.
Renate A. Schmidt, Dmitry Tishkovsky, Mohammad Khodadadi, 2012, Description Logics.
Ullrich Hustadt, Renate A. Schmidt, Dmitry Tishkovsky, 2004, Stud Logica.
Renate A. Schmidt, Vladimir V. Rybakov, Dmitry Tishkovsky, 2010, M4M.
Anna Zamansky, Renate A. Schmidt, Dmitry Tishkovsky, 2019, Description Logic, Theory Combination, and All That.
Renate A. Schmidt, Dmitry Tishkovsky, 2007, Description Logics.
Renate A. Schmidt, Dmitry Tishkovsky, Mohammad Khodadadi, 2012 .
Renate A. Schmidt, Dmitry Tishkovsky, R. Schmidt, 2017, TABLEAUX.
Renate A. Schmidt, Dmitry Tishkovsky, Mohammad Khodadadi, 2012 .
Renate A. Schmidt, Dmitry Tishkovsky, R. Schmidt, 2002 .
Camilla Schwind, Nicola Olivetti, Dmitry Tishkovsky, 2010, CSL 2010.
Renate A. Schmidt, Dmitry Tishkovsky, .