( en | de | ru )

 

Disambiguation of "Leitsch, Alexander"

Author of the publication

copydeleteadd this publication to your clipboard
Transforming and Analyzing Proofs in the CERES-System.

, , , and . LPAR Workshops, volume 418 of CEUR Workshop Proceedings, CEUR-WS.org, (2008)

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

Tobias Leitsch

Carola Leitsch

Joachim Leitsch

Dominik Leitsch

 

Other publications of authors with the same name

How to Acknowledge Hypercomputation?, , and . Complex Syst., (2008)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)CERES in Many-Valued Logics., and . LPAR, volume 3452 of Lecture Notes in Computer Science, page 1-20. Springer, (2004)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)Herbrand Sequent Extraction., , , and . AISC/MKM/Calculemus, volume 5144 of Lecture Notes in Computer Science, page 462-477. Springer, (2008)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)A Note on the Complexity of Classical and Intuitionistic Proofs., , and . LICS, page 657-666. IEEE Computer Society, (2015)Event-Related Outputs of Computations in P Systems., , , and . Journal of Automata, Languages and Combinatorics, 11 (3): 263-278 (2006)