( en | de | ru )

 

Disambiguierung von "Mints, Grigori"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Extended normal form theorems for logical proofs from axioms.

, und . Theor. Comput. Sci., 232 (1-2): 121-132 (2000)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Grigori Katsakoulis

Grigori Winer

Artur Grigori

Grigori German

Dimitrios Mintsioglou

 

Weitere Publikationen von Autoren mit dem selben Namen

Proof Search Tree and Cut Elimination.. Pillars of Computer Science, Volume 4800 von Lecture Notes in Computer Science, Seite 521-536. Springer, (2008)Decidability of the Class E by Maslov's Inverse Method.. Fields of Logic and Computation, Volume 6300 von Lecture Notes in Computer Science, Seite 529-537. Springer, (2010)The logic of transitive and dense frames: from the step-frame analysis to full cut-elimination., und . Logic Journal of the IGPL, 22 (4): 585-596 (2014)The Complexity of the Disjunction and Existential Properties in Intuitionistic Logic., und . Ann. Pure Appl. Log., 99 (1-3): 93-104 (1999)Propositional Logic Programming and Priz System., und . 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)Indexed systems of sequents and cut-elimination.. J. Philosophical Logic, 26 (6): 671-696 (1997)The Gödel-Tarski Translations of Intuitionistic Propositional Formulas.. Correct Reasoning, Volume 7265 von Lecture Notes in Computer Science, Seite 487-491. Springer, (2012)Unwinding a Non-effective Cut Elimination Proof.. CSR, Volume 3967 von Lecture Notes in Computer Science, Seite 259-269. Springer, (2006)