Autor der Publikation

Optimal and Cut-Free Tableaux for Propositional Dynamic Logic with Converse.

, und . IJCAR, Volume 6173 von Lecture Notes in Computer Science, Seite 225-239. Springer, (2010)

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

N-PAT: A Nested Model-Checker - (System Description)., , , , , , und . IJCAR (2), Volume 12167 von Lecture Notes in Computer Science, Seite 369-377. Springer, (2020)Cut-elimination for Weak Grzegorczyk Logic Go., und . Stud Logica, 102 (1): 1-27 (2014)Improved Verifiability for BeleniosVS., und . IACR Cryptol. ePrint Arch., (2021)Modular Labelled Sequent Calculi for Abstract Separation Logics., , , und . CoRR, (2017)A Proof Theoretic Analysis of Intruder Theories, , und . Logical Methods in Computer Science, (2010)Formal definitions and complexity results for trust relations and trust domains fit for TTPs, the web of trust, PKIs, and ID-based cryptography., , und . SIGACT News, 41 (1): 75-98 (2010)Computer-Aided Decision-Making for Formal Relations and Domains of Trust, Distrust, and Mistrust with Cryptographic Applications., , und . IACR Cryptology ePrint Archive, (2011)Analytic Cut-Free Tableaux for Regular Modal Logics of Agent Beliefs., und . CLIMA, Volume 5056 von Lecture Notes in Computer Science, Seite 268-287. Springer, (2007)Craig Interpolation in Displayable Logics., und . TABLEAUX, Volume 6793 von Lecture Notes in Computer Science, Seite 88-103. Springer, (2011)Dual Intuitionistic Logic Revisited.. TABLEAUX, Volume 1847 von Lecture Notes in Computer Science, Seite 252-267. Springer, (2000)