( en | de | ru )

 

Disambiguation of "Mints, Grigori"

Author of the publication

copydeleteadd this publication to your clipboard
Decidability of the Class E by Maslov's Inverse Method.

. Fields of Logic and Computation, volume 6300 of Lecture Notes in Computer Science, page 529-537. Springer, (2010)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Grigori Katsakoulis

Grigori Winer

Artur Grigori

Grigori German

Dimitrios Mintsioglou

 

Other publications of authors with the same name

The Complexity of the Disjunction and Existential Properties in Intuitionistic Logic., and . Ann. Pure Appl. Log., 99 (1-3): 93-104 (1999)The logic of transitive and dense frames: from the step-frame analysis to full cut-elimination., and . Logic Journal of the IGPL, 22 (4): 585-596 (2014)Proof Search Tree and Cut Elimination.. Pillars of Computer Science, volume 4800 of Lecture Notes in Computer Science, page 521-536. Springer, (2008)Decidability of the Class E by Maslov's Inverse Method.. Fields of Logic and Computation, volume 6300 of Lecture Notes in Computer Science, page 529-537. Springer, (2010)Indexed systems of sequents and cut-elimination.. J. Philosophical Logic, 26 (6): 671-696 (1997)Propositional Logic Programming and Priz System., and . J. Log. Program., 9 (2&3): 179-193 (1990)Cut-Elimination for Simple Type Theory with An Axiom of Choice.. J. Symb. Log., 64 (2): 479-485 (1999)A termination proof for epsilon substitution using partial derivations.. Theor. Comput. Sci., 303 (1): 187-213 (2003)Justifications of the Structural Synthesis of Programs., and . Sci. Comput. Program., 2 (3): 215-240 (1982)Unwinding a Non-effective Cut Elimination Proof.. CSR, volume 3967 of Lecture Notes in Computer Science, page 259-269. Springer, (2006)