( en | de | ru )

 

Disambiguation of "Leitsch, Alexander"

Author of the publication

copydeleteadd this publication to your clipboard
System Feature Description: Importing Refutations into the GAPT Framework.

, , , , , , and . PxTP, volume 878 of CEUR Workshop Proceedings, page 51-57. CEUR-WS.org, (2012)

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.

Wilhelm Leitsch

Carola Leitsch

Tobias Leitsch

Joachim Leitsch

Dominik Leitsch

 

Other publications of authors with the same name

CERES in Many-Valued Logics., and . LPAR, volume 3452 of Lecture Notes in Computer Science, page 1-20. Springer, (2004)Complexity of index sets and translating functions.. Fundam. Informaticae, 3 (2): 181-188 (1980)On Skolemization and Proof Complexity., and . Fundam. Informaticae, 20 (4): 353-379 (1994)How to Acknowledge Hypercomputation?, , and . Complex Syst., (2008)Transforming and Analyzing Proofs in the CERES-System., , , and . LPAR Workshops, volume 418 of CEUR Workshop Proceedings, CEUR-WS.org, (2008)Decision Procedures and Model Building, or How to Improve Logical Information in Automated Deduction.. FTP (LNCS Selection), volume 1761 of Lecture Notes in Computer Science, page 62-79. Springer, (1998)Incompleteness of a First-Order Gödel Logic and Some Temporal Logics of Programs., , and . CSL, volume 1092 of Lecture Notes in Computer Science, page 1-15. Springer, (1995)Herbrand Sequent Extraction., , , and . AISC/MKM/Calculemus, volume 5144 of Lecture Notes in Computer Science, page 462-477. Springer, (2008)A Note on the Complexity of Classical and Intuitionistic Proofs., , and . LICS, page 657-666. IEEE Computer Society, (2015)Towards CERes in intuitionistic logic., , and . CSL, volume 16 of LIPIcs, page 485-499. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2012)