Autor der Publikation

Evaluation of Systems for Higher-order Logic (ESHOL).

, , , und . PAAR/ESHOL, Volume 373 von CEUR Workshop Proceedings, CEUR-WS.org, (2008)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Solving the $100 modal logic challenge., , , und . J. Applied Logic, 7 (1): 113-130 (2009)Representing Model Theory in a Type-Theoretical Logical Framework., und . Electr. Notes Theor. Comput. Sci., (2009)The Future of Logic: Foundation-Independence.. Logica Universalis, 10 (1): 1-20 (2016)A Modular Type Reconstruction Algorithm.. ACM Trans. Comput. Log., 19 (4): 24:1-24:43 (2018)QED Reloaded: Towards a Pluralistic Formal Library of Mathematical Knowledge., und . J. Formalized Reasoning, 9 (1): 201-234 (2016)Representing Isabelle in LF. LFMTP, Volume 34 von EPTCS, Seite 85-99. (2010)Big Math and the One-Brain Barrier A Position Paper and Architecture Proposal., , , und . CoRR, (2019)Translating a Dependently-Typed Logic to First-Order Logic., und . WADT, Volume 5486 von Lecture Notes in Computer Science, Seite 326-341. Springer, (2008)TH1: The TPTP Typed Higher-Order Form with Rank-1 Polymorphism., , und . PAAR@IJCAR, Volume 1635 von CEUR Workshop Proceedings, Seite 41-55. CEUR-WS.org, (2016)Extending MKM Formats at the Statement Level., , und . AISC/MKM/Calculemus, Volume 7362 von Lecture Notes in Computer Science, Seite 65-80. Springer, (2012)