Autor der Publikation

Interpreting Sequent Calculi as Client-Server Games.

, und . TABLEAUX, Volume 10501 von Lecture Notes in Computer Science, Seite 98-113. Springer, (2017)

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

A Reduction in Violation Logic.. DEON, Seite 291-307. College Publications, (2021)From Truth Degree Comparison Games to Sequents-of-Relations Calculi for Gödel Logic., , und . IPMU (1), Volume 1237 von Communications in Computer and Information Science, Seite 257-270. Springer, (2020)Some Analytic Systems of Rules.. TABLEAUX, Volume 14278 von Lecture Notes in Computer Science, Seite 94-111. Springer, (2023)Dynamic Lockstep Processors for Applications with Functional Safety Relevance., und . ETFA, Seite 1-4. IEEE, (2021)A Game Model for Proofs with Costs., , , und . TABLEAUX, Volume 11714 von Lecture Notes in Computer Science, Seite 241-258. Springer, (2019)Interpreting Sequent Calculi as Client-Server Games., und . TABLEAUX, Volume 10501 von Lecture Notes in Computer Science, Seite 98-113. Springer, (2017)Bounded Sequent Calculi for Non-classical Logics via Hypersequents., , und . TABLEAUX, Volume 11714 von Lecture Notes in Computer Science, Seite 94-110. Springer, (2019)Decidability and Complexity in Weakening and Contraction Hypersequent Substructural Logics., , und . LICS, Seite 1-13. IEEE, (2021)Cut-Restriction: From Cuts to Analytic Cuts., , und . LICS, Seite 1-13. IEEE, (2023)A Simple Token Game and its Logic., , und . LPAR, Volume 100 von EPiC Series in Computing, Seite 341-359. EasyChair, (2024)