Grigori Mints

发表

Grigori Mints, 2006, Stud Logica.
Grigori Mints, G. Mints, 1987, FCT.
Grigori Mints, G. Mints, 2013, Ann. Pure Appl. Log..
Grigori Mints, G. Mints, 2001, Ann. Pure Appl. Log..
Enn Tyugu, Grigori Mints, E. Tyugu, 1982, Sci. Comput. Program..
Grigori Mints, 1998, Arch. Math. Log..
Grigori Mints, G. Mints, 1993, Ann. Pure Appl. Log..
Enn Tyugu, Grigori Mints, 1988, J. Symb. Comput..
Grigory K. Olkhovikov, Grigori Mints, Alasdair Urquhart, 2013, J. Symb. Log..
Grigori Mints, Makoto Tatsuta, G. Mints, 2005, Ann. Pure Appl. Log..
Enn Tyugu, Grigori Mints, E. Tyugu, 1990, J. Log. Program..
Grigori Mints, 2010, Ann. Pure Appl. Log..
Grigori Mints, Shane Steinert-Threlkeld, G. Mints, 2013, J. Log. Comput..
Grigori Mints, Tanel Tammet, 2005, Journal of Automated Reasoning.
Grigori Mints, G. Mints, 1989, Notre Dame J. Formal Log..
Grigori Mints, G. Mints, 2006, Synthese.
Grigori Mints, G. Mints, 2000, Ann. Pure Appl. Log..
Grigori Mints, Thomas Studer, 2012, FICS.
Enn Tyugu, Grigori Mints, E. Tyugu, 1987, Information Processing Letters.
Philip Kremer, Grigori Mints, G. Mints, 2005, Ann. Pure Appl. Log..
Grigori Mints, Sergei Tupailo, Wilfried Buchholz, 1996, Arch. Math. Log..
Grigori Mints, 2008, Pillars of Computer Science.
Grigori Mints, G. Mints, 1997, TABLEAUX.
Enn Tyugu, Grigori Mints, E. Tyugu, 1986, Inf. Process. Lett..
Enn Tyugu, Jan M. Smith, Grigori Mints, 1991, Baltic Computer Science.
Grigori Mints, Tanel Tammet, Vladimir Orevkov, 1996 .
Grigori Mints, G. Mints, 2010, Fields of Logic and Computation.
Grigori Mints, G. Mints, 2008, Ann. Pure Appl. Log..
Toshiyasu Arai, Grigori Mints, 2000, Theor. Comput. Sci..
Grigori Mints, Darko Sarenac, 2003, Arch. Math. Log..
Ryota Akiyoshi, Grigori Mints, 2016, Arch. Math. Log..
Grigori Mints, Ruy J. G. B. de Queiroz, 2006, Electron. Notes Theor. Comput. Sci..
Grigori Mints, G. Mints, 1990, Conference on Computer Logic.
Samuel R. Buss, Grigori Mints, S. Buss, 1999, Ann. Pure Appl. Log..
Philip Kremer, Grigori Mints, Vladimir V. Rybakov, 1997 .
Grigori Mints, 1998, Stud Logica.
Philip Kremer, Grigori Mints, 2005, Ann. Pure Appl. Log..
Grigori Mints, Ting Zhang, G. Mints, 2005, Arch. Math. Log..
Grigori Mints, G. Mints, 1993, NATO ASI CP.
Grigori Mints, G. Mints, 1991, Journal of Symbolic Logic.
Grigori Mints, G. Mints, 1993, J. Log. Lang. Inf..
Grigori Mints, G. Mints, 2003, Theor. Comput. Sci..
Grigori Mints, G. Mints, 1997, J. Philos. Log..
Valeria de Paiva, Grigori Mints, Ruy J. G. B. de Queiroz, 2009, Inf. Comput..
Grigori Mints, G. Mints, 2005, WoLLIC.
Grigori Mints, G. Mints, 2017 .
Grigori Mints, Ting Zhang, G. Mints, 2005, Ann. Pure Appl. Log..
Grigori Mints, 2011, WoLLIC.
Grigori Mints, Sergei N. Artëmov, Anatol Slissenko, 2010, Annals of Pure and Applied Logic.
Grigori Mints, G. Mints, 1996, Journal of Symbolic Logic.
Grigori Mints, G. Mints, 1992 .
Grigori Mints, Mihhail Matskin, M. Matskin, 1982 .
Grigori Mints, Alasdair Urquhart, Grigory Olkhovikov, 2012 .