Name Card

Full name Familienname, Vorname
Lang, Timo Achim
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-12 of 12 (Search time: 0.004 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Fermüller, Christian ; Freiman, Robert ; Lang, Timo Achim Game Models of Producer-Consumer Interactions and Substructural Sequent SystemsPresentation Vortrag27-Sep-2023
2Ciabattoni, Agata ; Lang, Timo Achim ; Ramanayake, Don Revantha Shiyan Cut-Restriction: From Cuts to Analytic CutsInproceedings Konferenzbeitrag 2023
3Fermueller-2022-Logica Universalis-vor.pdf.jpgFermüller, Christian ; Lang, Timo Achim ; Pavlova, Alexandra From Truth Degree Comparison Games to Sequents-of-Relations Calculi for Gödel LogicArticle Artikel Jun-2022
4CIABATTONI, AGATA ; LANG, TIMO ; RAMANAYAKE, REVANTHA Bounded-analytic sequent calculi and embeddings for hypersequent logics.Artikel Article 2021
5Lang Timo Achim - 2021 - Games modalities and analytic proofs in nonclassical...pdf.jpgLang, Timo Achim Games, modalities and analytic proofs in nonclassical logicsThesis Hochschulschrift 2021
6Lang, Timo A Reduction in Violation LogicKonferenzbeitrag Inproceedings 2021
7Fermüller, Christian ; Lang, Timo ; Pavlova, Alexandra From Truth Degree Comparison Games to Sequents-of-Relations Calculi for Gödel LogicKonferenzbeitrag Inproceedings 2020
8Lang, Timo ; Olarte, Carlos ; Pimentel, Elaine ; Fermüller, Christian A Game Model for Proofs with CostsKonferenzbeitrag Inproceedings 2019
9Ciabattoni, Agata ; Ramanayake, Revantha ; Lang, Timo Bounded sequent calculi for non-classical logics via hypersequentsKonferenzbeitrag Inproceedings 2019
10Lang, Timo Bounded sequent calculi via hypersequentsPräsentation Presentation2019
11Fermüller, Christian ; Lang, Timo Interpretpreting Substructural Logics by Games of Information ExtractionPräsentation Presentation2018
12Fermüller, Christian G. ; Lang, Timo Interpreting Sequent Calculi as Client-Server GamesKonferenzbeitrag Inproceedings 2017