Logical Foundations of Computer Science

Book title Buchtitel

Editor Herausgeber_in

Nerode, Anil
Artemov, Sergei

Publisher Herausgeber

Springer, LNCS

Place of publishing Erscheinungsort

5407

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

RIS EndNote Bibtex Send via email

	Authors / Editors	Title	Type	Issue Date
1	Leitsch, Alexander ; Baaz, Matthias ; Lolic, Anela	A Sequent-Calculus Based Formulation of the Extended First Epsilon Theorem	Konferenzbeitrag Inproceedings	2018
2	Lyon, Tim ; Ramanayake, Revantha ; Ciabattoni, Agata	From Display to Labelled Calculi for Tense Logics	Konferenzbeitrag Inproceedings	2018
3	Keller, Uwe ; Heymans, Stijn	Fuzzy Description Logic Reasoning Using a Fixpoint Algorithm	Konferenzbeitrag Inproceedings	2009
4	Lyon, Tim	On Deriving Nested Calculi for Intuitionistic Logics from Semantic Systems	Konferenzbeitrag Inproceedings	2020
5	Lyon, Tim	Syntactic Cut-Elimination for Intuitionistic Fuzzy Logic via Linear Nested Sequents	Konferenzbeitrag Inproceedings	2020