( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Transforming and Analyzing Proofs in the CERES-System.

, , , и . LPAR Workshops, том 418 из 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.

Wilhelm Leitsch

Tobias Leitsch

Carola Leitsch

Joachim Leitsch

Dominik Leitsch

 

Другие публикации лиц с тем же именем

System Feature Description: Importing Refutations into the GAPT Framework., , , , , , и . PxTP, том 878 из CEUR Workshop Proceedings, стр. 51-57. CEUR-WS.org, (2012)Cut-Elimination: Experiments with CERES., , , , и . LPAR, том 3452 из Lecture Notes in Computer Science, стр. 481-495. Springer, (2004)Herbrand's Theorem in Inductive Proofs., и . LPAR, том 100 из EPiC Series in Computing, стр. 295-310. EasyChair, (2024)Towards CERes in intuitionistic logic., , и . CSL, том 16 из LIPIcs, стр. 485-499. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2012)Transforming and Analyzing Proofs in the CERES-System., , , и . LPAR Workshops, том 418 из CEUR Workshop Proceedings, CEUR-WS.org, (2008)Decision Procedures and Model Building, or How to Improve Logical Information in Automated Deduction.. FTP (LNCS Selection), том 1761 из Lecture Notes in Computer Science, стр. 62-79. Springer, (1998)CERES in Many-Valued Logics., и . LPAR, том 3452 из Lecture Notes in Computer Science, стр. 1-20. Springer, (2004)Herbrand Sequent Extraction., , , и . AISC/MKM/Calculemus, том 5144 из Lecture Notes in Computer Science, стр. 462-477. Springer, (2008)A Note on the Complexity of Classical and Intuitionistic Proofs., , и . LICS, стр. 657-666. IEEE Computer Society, (2015)Incompleteness of a First-Order Gödel Logic and Some Temporal Logics of Programs., , и . CSL, том 1092 из Lecture Notes in Computer Science, стр. 1-15. Springer, (1995)