PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

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.

Alexander Verl

On the Dynamics and Emergency Stop Behavior of Cable-Driven Parallel Robots, , and . ROMANSY 21 - Robot Design, Dynamics and Control, volume 569 of CISM International Centre for Mechanical Sciences, page 431--438. Switzerland, Springer Verlag and Springer International Publishing, (2016)

Alexander Jaust

Alexander Jaust

Alexander Keller

Alexander Bartler University of Stuttgart

 

Other publications of authors with the same name

On Skolemization and Proof Complexity., and . Fundam. Inform., 20 (4): 353-379 (1994)Complexity of index sets and translating functions.. Fundam. Inform., 3 (2): 181-188 (1980)A Note on the Complexity of Classical and Intuitionistic Proofs., , and . LICS, page 657-666. IEEE Computer Society, (2015)Normal Form Transformations., , , , and . Handbook of Automated Reasoning, Elsevier and MIT Press, (2001)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)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)Hyperresolution and Automated Model Building., and . J. Log. Comput., 6 (2): 173-203 (1996)