BOUNDED-ANALYTIC SEQUENT CALCULI AND EMBEDDINGS FOR HYPERSEQUENT LOGICS von CIABATTONI, AGATA, LANG, TIMO, RAMANAYAKE, REVANTHA

Volltext

From Semantic Games to Provability: The Case of Gödel Logic von Pavlova, Alexandra, Freiman, Robert, Lang, Timo

Volltext

From Truth Degree Comparison Games to Sequents-of-Relations Calculi for Gödel Logic von Fermüller, Christian, Lang, Timo, Pavlova, Alexandra

Volltext

Some Analytic Systems of Rules von Lang, Timo

Volltext bestellen

Bounded Sequent Calculi for Non-classical Logics via Hypersequents von Ciabattoni, Agata, Lang, Timo, Ramanayake, Revantha

Volltext

Interpreting Sequent Calculi as Client-Server Games von Fermüller, Christian G., Lang, Timo

Volltext

Minimalistic System Modelling: Behaviours, Interfaces, and Local Reasoning von Galmiche, Didier, Lang, Timo, Pym, David

Volltext bestellen

Filter element von Lang, Timo

Volltext bestellen

Cut-restriction: from cuts to analytic cuts von Ciabattoni, Agata, Lang, Timo, Ramanayake, Revantha

Volltext bestellen

Cut-restriction: from cuts to analytic cuts von Ciabattoni, Agata, Lang, Timo, Ramanayake, Revantha

Volltext bestellen

Dynamic Lockstep Processors for Applications with Functional Safety Relevance von Doran, Hans Dermot, Lang, Timo

Volltext bestellen

From Semantic Games to Provability: The Case of Gödel Logic von Pavlova, Alexandra, Freiman, Robert, Lang, Timo

Volltext bestellen

A theory of cut-restriction: first steps von Ciabattoni, Agata, Lang, Timo, Ramanayake, Revantha

Volltext bestellen

A Game Model for Proofs with Costs von Lang, Timo, Olarte, Carlos, Pimentel, Elaine, Fermüller, Christian G.

Volltext

Decidability and Complexity in Weakening and Contraction Hypersequent Substructural Logics von Balasubramanian, A. R, Lang, Timo, Ramanayake, Revantha

Volltext bestellen

Minimalistic System Modelling: Behaviours, Interfaces, and Local Reasoning von Galmiche, Didier, Lang, Timo, Pym, David

Volltext

Method for adapting a filter medium to predefinable parameters and preferably a filter medium produced according to said method von Lang, Timo, Duchowski, John Kazimierz

Volltext bestellen

FILTER ELEMENT von Lang, Timo

Volltext bestellen

Verschmutzungsbedingte Ausfälle vermeiden von Philipp Krenkel, Timo Lang, Dirk Becker

Volltext

Cut-restriction: from cuts to analytic cuts von Ciabattoni, Agata, Lang, Timo, Ramanayake, Revantha

Volltext