Grigori Mints
According to our database^{1},
Grigori Mints
authored at least 60 papers
between 1982 and 2017.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Online presence:

on zbmath.org

on id.loc.gov
On csauthors.net:
Bibliography
2017
FLAP, 2017
2016
J. Log. Comput., 2016
Arch. Math. Log., 2016
2014
The logic of transitive and dense frames: from the stepframe analysis to full cutelimination.
Log. J. IGPL, 2014
2013
J. Symb. Log., 2013
Ann. Pure Appl. Log., 2013
2012
Stud Logica, 2012
CoRR, 2012
Proceedings of the Proceedings 8th Workshop on Fixed Points in Computer Science, 2012
Proceedings of the Correct Reasoning, 2012
2011
Proceedings of the Logic, Language, Information and Computation, 2011
2010
Ann. Pure Appl. Log., 2010
Ann. Pure Appl. Log., 2010
Proceedings of the Fields of Logic and Computation, 2010
2009
Inf. Comput., 2009
2008
Ann. Pure Appl. Log., 2008
Proceedings of the Pillars of Computer Science, 2008
2007
Proceedings of the Handbook of Spatial Logics, 2007
2006
Synth., 2006
Stud Logica, 2006
Log. J. IGPL, 2006
Electron. Notes Theor. Comput. Sci., 2006
Electron. Notes Theor. Comput. Sci., 2006
Proceedings of the Computer Science, 2006
2005
Ann. Pure Appl. Log., 2005
Ann. Pure Appl. Log., 2005
Ann. Pure Appl. Log., 2005
Arch. Math. Log., 2005
2003
Theor. Comput. Sci., 2003
Arch. Math. Log., 2003
2001
Ann. Pure Appl. Log., 2001
2000
Theor. Comput. Sci., 2000
Ann. Pure Appl. Log., 2000
1999
J. Symb. Log., 1999
The Complexity of the Disjunction and Existential Properties in Intuitionistic Logic.
Ann. Pure Appl. Log., 1999
1998
Stud Logica, 1998
Arch. Math. Log., 1998
1997
J. Philos. Log., 1997
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 1997
Proceedings of the Logical Foundations of Computer Science, 4th International Symposium, 1997
1996
J. Symb. Log., 1996
Arch. Math. Log., 1996
1993
J. Log. Lang. Inf., 1993
Ann. Pure Appl. Log., 1993
Proceedings of the Constraint Programming, 1993
Proceedings of the Computational Logic and Proof Theory, Third Kurt Gödel Colloquium, 1993
1992
BIT Comput. Sci. Sect., 1992
1991
J. Symb. Log., 1991
J. Autom. Reason., 1991
Proceedings of the Baltic Computer Science, Selected Papers, 1991
Proceedings of the Baltic Computer Science, Selected Papers, 1991
1990
J. Log. Program., 1990
J. Log. Program., 1990
1989
Notre Dame J. Formal Log., 1989
1988
J. Symb. Comput., 1988
Proceedings of the COLOG88, 1988
1987
Corrigendum: Semantics of a Declarative Language.
Inf. Process. Lett., 1987
Proceedings of the Fundamentals of Computation Theory, 1987
1986
Inf. Process. Lett., 1986
1982
Sci. Comput. Program., 1982