Logical Foundations of Computer Science

Book title Buchtitel
Logical Foundations of Computer Science
Series Schriftenreihe
Lecture Notes in Computer Science

Publications Publikationen

Results 1-5 of 5 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Leitsch, Alexander ; Baaz, Matthias ; Lolic, Anela A Sequent-Calculus Based Formulation of the Extended First Epsilon TheoremKonferenzbeitrag Inproceedings2018
2Lyon, Tim ; Ramanayake, Revantha ; Ciabattoni, Agata From Display to Labelled Calculi for Tense LogicsKonferenzbeitrag Inproceedings 2018
3Keller, Uwe ; Heymans, Stijn Fuzzy Description Logic Reasoning Using a Fixpoint AlgorithmKonferenzbeitrag Inproceedings 2009
4Lyon, Tim On Deriving Nested Calculi for Intuitionistic Logics from Semantic SystemsKonferenzbeitrag Inproceedings 2020
5Lyon, Tim Syntactic Cut-Elimination for Intuitionistic Fuzzy Logic via Linear Nested SequentsKonferenzbeitrag Inproceedings 2020