Autor der Publikation

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

Towards CERes in intuitionistic logic., , und . CSL, Volume 16 von LIPIcs, Seite 485-499. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2012)An Adequate Compositional Encoding of Bigraph Structure in Linear Logic with Subexponentials., und . LPAR, Volume 9450 von Lecture Notes in Computer Science, Seite 146-161. Springer, (2015)Ceres in intuitionistic logic., , , und . Ann. Pure Appl. Logic, 168 (10): 1783-1836 (2017)Checking Proof Transformations with ASP., , und . TPLP, (2013)Formalized meta-theory of sequent calculi for linear logics., , und . Theor. Comput. Sci., (2019)Mechanizing Focused Linear Logic in Coq., , , und . Electr. Notes Theor. Comput. Sci., (2018)The Proof Certifier Checkers., , und . TABLEAUX, Volume 9323 von Lecture Notes in Computer Science, Seite 201-210. Springer, (2015)The ILLTP Library for Intuitionistic Linear Logic., , , und . Linearity-TLLA@FLoC, Volume 292 von EPTCS, Seite 118-132. (2018)On the Generation of Quantified Lemmas., , , , und . J. Autom. Reasoning, 63 (1): 95-126 (2019)Epsilon Terms in Intuitionistic Sequent Calculus., und . FLAP, (2017)