Sergei N. Artëmov

发表

Sergei N. Artëmov, Natalia Novak, 2009 .
Sergei N. Artëmov, Roman Kuznets, R. Kuznets, 2009, TARK '09.
Sergei N. Artëmov, 2009, Ann. Pure Appl. Log..
Sergei N. Artëmov, 2014, Johan van Benthem on Logic and Information Dynamics.
Sergei N. Artëmov, 2006, Theor. Comput. Sci..
Sergei N. Artëmov, 2008, The Review of Symbolic Logic.
Sergei N. Artëmov, 2007, Handbook of Modal Logic.
Sergei N. Artëmov, Melvin Fitting, 2019 .
Sergei N. Artëmov, Tudor Protopopescu, Tudor Protopopescu, 2014, The Review of Symbolic Logic.
Sergei N. Artëmov, Elena Nogina, E. Nogina, 2005, J. Log. Comput..
Sergei N. Artëmov, Yuri V. Matiyasevich, 2006, Ann. Pure Appl. Log..
Sergei N. Artëmov, 2008, JELIA.
Sergei N. Artëmov, 2007 .
Sergei N. Artëmov, 1994, Ann. Pure Appl. Log..
Sergei N. Artëmov, Roman Kuznets, R. Kuznets, 2006, CSL.
Sergei N. Artëmov, Tudor Protopopescu, 2012, Synthese.
Sergei N. Artëmov, 1999, J. Appl. Non Class. Logics.
Sergei N. Artëmov, 2020, J. Log. Comput..
Sergei N. Artëmov, Elena Nogina, E. Nogina, 2005, TARK.
Sergei N. Artëmov, Vladimir Krupski, 1996, Ann. Pure Appl. Log..
Sergei N. Artëmov, 2001, Bull. Symb. Log..
Sergei N. Artëmov, 2020, LFCS.
Franco Montagna, Sergei N. Artëmov, 1994, J. Symb. Log..
Sergei N. Artëmov, 2020, J. Log. Comput..
Tatiana Yavorskaya, Sergei N. Artëmov, 2011 .
Anil Nerode, Sergei N. Artëmov, A. Nerode, 2020, J. Log. Comput..
Sergei N. Artëmov, 2017, ArXiv.
Sergei N. Artëmov, 2010, Fields of Logic and Computation.
Anil Nerode, Sergei N. Artëmov, A. Nerode, 2016, Lecture Notes in Computer Science.
Sergei N. Artëmov, Tyko Straßen, Tyko Straßen, 1993, Kurt Gödel Colloquium.
Artur S. d'Avila Garcez, Howard Barringer, Sergei N. Artëmov, 2005, We Will Show Them!.
Sergei N. Artëmov, 2005, We Will Show Them!.
Anil Nerode, Sergei N. Artëmov, 2012, Ann. Pure Appl. Log..
Sergei N. Artëmov, Giorgie Dzhaparidze, G. Dzhaparidze, 1990, Journal of Symbolic Logic.
Sergei N. Artëmov, 2009, Ann. Pure Appl. Log..
Jan Wolenski, Ewa Orlowska, Sergei N. Artëmov, 2004, Ann. Pure Appl. Log..
Sergei N. Artëmov, Tyko Straßen, Tyko Straßen, 1992, CSL.
Sergei N. Artëmov, Roman Kuznets, 2014, Ann. Pure Appl. Log..
Sergei N. Artëmov, Vladimir Krupski, 1994, LFCS.
Sergei N. Artëmov, Tyko Strassen, 1993 .
Sergei N. Artëmov, 2008 .
Sergei N. Artëmov, Lev D. Beklemishev, L. Beklemishev, 1993, Notre Dame J. Formal Log..
Sergei N. Artëmov, 2011 .
Sergei N. Artëmov, Roman Kuznets, R. Kuznets, 2006 .
Anil Nerode, Sergei N. Artëmov, A. Nerode, 2020, J. Log. Comput..
Sergei N. Artëmov, 1999, Realizability Semantics and Applications@FLoC.
Tatiana Yavorskaya, Sergei N. Artëmov, T. Yavorskaya, 2016, J. Log. Comput..
Sergei N. Artëmov, 2012, Stud Logica.
Sergei N. Artëmov, 2020, LFCS.
Sergei N. Artëmov, Eduardo Bonelli, 2007, LFCS.
Sergei N. Artëmov, Rosalie Iemhoff, 2007, J. Symb. Log..
Bruno Poizat, Sergei N. Artëmov, Ruy J. G. B. de Queiroz, 2005, Ann. Pure Appl. Log..
Sergei N. Artëmov, Jesse Alt, 2001, Proof Theory in Computer Science.
Anil Nerode, Sergei N. Artëmov, Jennifer M. Davoren, 1997, LFCS.
Sergei N. Artëmov, 2018, LFCS.
Sergei N. Artëmov, 2008, Pillars of Computer Science.
Sergei N. Artëmov, Elena Nogina, 2008, CSR.
Sergei N. Artëmov, 1999, Advances in Modal Logic.
Grigori Mints, Sergei N. Artëmov, Anatol Slissenko, 2010, Annals of Pure and Applied Logic.
Sergei N. Artëmov, 2007 .
Sergei N. Artëmov, Tudor Protopopescu, Tudor Protopopescu, 2014 .
Anil Nerode, Sergei N. Artëmov, 2021, J. Log. Comput..
Sergei N. Artëmov, 2005 .
Sergei N. Artëmov, T. Yavorskaya, 2001 .
Sergei N. Artëmov, R. Kuznets, 2008 .
Anil Nerode, Sergei N. Artëmov, J. M. Davoren, 1997 .
Sergei N. Artëmov, 1987 .
Sergei N. Artëmov, Bryan Renne, B. Renne, 2008 .
Sergei N. Artëmov, Elena Nogina, E. Nogina, 2008 .
Sergei N. Artëmov, 1998 .
Sergei N. Artëmov, Elena Nogina, E. Nogina, 2004 .
Sergei N. Artëmov, Yegor Bryukhov, Yegor Bryukhov, 2006 .
Sergei N. Artëmov, Tudor Protopopescu, 2010 .
Sergei N. Artëmov, E. Nogina, 2005 .
Sergei N. Artëmov, A. Chuprina, 1996 .
Sergei N. Artëmov, Rosalie Iemhoff, 2004 .
Sergei N. Artëmov, Rosalie Iemhoff, 2005 .
Sergei N. Artëmov, Tudor Protopopescu, 2013, Synthese.