Author of the publication

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.

 

Other publications of authors with the same name

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)The Complexity of the Disjunction and Existential Properties in Intuitionistic Logic., and . Ann. Pure Appl. Log., 99 (1-3): 93-104 (1999)A termination proof for epsilon substitution using partial derivations.. Theor. Comput. Sci., 303 (1): 187-213 (2003)The Gödel-Tarski Translations of Intuitionistic Propositional Formulas.. Correct Reasoning, volume 7265 of Lecture Notes in Computer Science, page 487-491. Springer, (2012)Unwinding a Non-effective Cut Elimination Proof.. CSR, volume 3967 of Lecture Notes in Computer Science, page 259-269. Springer, (2006)Resolution Strategies for the Intuitionistic Logic.. NATO ASI CP, volume 131 of NATO ASI Series, page 289-311. Springer, (1993)Gentzen-type systems and resolution rules. Part I. Propositional logic.. Conference on Computer Logic, volume 417 of Lecture Notes in Computer Science, page 198-231. Springer, (1988)Three Faces of Natural Deduction.. TABLEAUX, volume 1227 of Lecture Notes in Computer Science, page 16-30. Springer, (1997)Cut Elimination for S4C: A Case Study.. Stud Logica, 82 (1): 121-132 (2006)