Timo Lang

According to our database1, Timo Lang authored at least 14 papers between 2017 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Minimalistic System Modelling: Behaviours, Interfaces, and Local Reasoning.
CoRR, 2024

A Simple Token Game and its Logic.
Proceedings of the LPAR 2024: Proceedings of 25th Conference on Logic for Programming, 2024

2023
Some Analytic Systems of Rules.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2023

Cut-Restriction: From Cuts to Analytic Cuts.
Proceedings of the 38th Annual ACM/IEEE Symposium on Logic in Computer Science, 2023

2022
From Semantic Games to Provability: The Case of Gödel Logic.
Stud Logica, 2022

From Truth Degree Comparison Games to Sequents-of-Relations Calculi for Gödel Logic.
Logica Universalis, 2022

A theory of cut-restriction: first steps.
CoRR, 2022

2021
Bounded-analytic Sequent Calculi and Embeddings for Hypersequent Logics.
J. Symb. Log., 2021

Decidability and Complexity in Weakening and Contraction Hypersequent Substructural Logics.
Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

Dynamic Lockstep Processors for Applications with Functional Safety Relevance.
Proceedings of the 26th IEEE International Conference on Emerging Technologies and Factory Automation, 2021

A Reduction in Violation Logic.
Proceedings of the Deontic Logic and Normative Systems - 15th International Conference, 2021

2019
A Game Model for Proofs with Costs.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2019

Bounded Sequent Calculi for Non-classical Logics via Hypersequents.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2019

2017
Interpreting Sequent Calculi as Client-Server Games.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2017


  Loading...