Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Straßburger, Lutz
295  Ergebnisse:
Personensuche X
?
1

A Simple Loopcheck for Intuitionistic K:

, In: Logic, Language, Information, and Computation; Lecture Notes in Computer Science,
Girlando, Marianna ; Kuznets, Roman ; Marin, Sonia.. - p. 47-63 , 2024
Link: https://doi.org/10.1007/..
 
?
2

Lambek Calculus with Banged Atoms for Parasitic Gaps:

, In: Logic, Language, Information, and Computation; Lecture Notes in Computer Science,
Sadrzadeh, Mehrnoosh ; Straßburger, Lutz - p. 193-209 , 2024
Link: https://doi.org/10.1007/..
 
?
3

Combinatorial Flows as Bicolored Atomic Flows:

, In: Logic, Language, Information, and Computation; Lecture Notes in Computer Science,
Omidvar, Giti ; Straßburger, Lutz - p. 141-157 , 2022
Link: https://doi.org/10.1007/..
 
?
4

An Analytic Propositional Proof System on Graphs:

Acclavio, Matteo ; Horne, Ross ; Straßburger, Lutz
Logical Methods in Computer Science.  18, Issue 4 (2022)  - p. , 2022
Link: https://doi.org/10.46298..
 
?
5

Combinatorial proofs and decomposition theorems for first-o..:

, In: Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science,
Hughes, Dominic J. D. ; Straßburger, Lutz ; Wu, Jui-Hsuan - p. 1-13 , 2021
Link: https://dl.acm.org/doi/1..
 
?
6

Game Semantics for Constructive Modal Logic:

, In: Lecture Notes in Computer Science; Automated Reasoning with Analytic Tableaux and Related Methods,
Acclavio, Matteo ; Catta, Davide ; Straßburger, Lutz - p. 428-445 , 2021
Link: https://doi.org/10.1007/..
 
?
7

A fully labelled proof system for intuitionistic modal logi..:

Marin, Sonia ; Morales, Marianela ; Straßburger, Lutz
Journal of Logic and Computation.  31 (2021)  3 - p. 998-1022 , 2021
Link: https://doi.org/10.1093/..
 
?
8

MOIN: A Nested Sequent Theorem Prover for Intuitionistic Mo..:

, In: Automated Reasoning; Lecture Notes in Computer Science,
Girlando, Marianna ; Straßburger, Lutz - p. 398-407 , 2020
Link: https://doi.org/10.1007/..
 
?
9

Logic Beyond Formulas : A Proof System on Graphs:

, In: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science,
Acclavio, Matteo ; Horne, Ross ; Straßburger, Lutz - p. 38-52 , 2020
Link: https://dl.acm.org/doi/1..
 
?
10

On Combinatorial Proofs for Modal Logic:

, In: Lecture Notes in Computer Science; Automated Reasoning with Analytic Tableaux and Related Methods,
Acclavio, Matteo ; Straßburger, Lutz - p. 223-240 , 2019
Link: https://doi.org/10.1007/..
 
?
11

On the decision problem for MELL:

Straßburger, Lutz
Theoretical Computer Science.  768 (2019)  - p. 91-98 , 2019
Link: https://doi.org/10.1016/..
 
?
12

On Combinatorial Proofs for Logics of Relevance and Entailm..:

, In: Logic, Language, Information, and Computation; Lecture Notes in Computer Science,
Acclavio, Matteo ; Straßburger, Lutz - p. 1-16 , 2019
Link: https://doi.org/10.1007/..
 
?
13

Towards a Combinatorial Proof Theory:

, In: Lecture Notes in Computer Science; Automated Reasoning with Analytic Tableaux and Related Methods,
Ralph, Benjamin ; Straßburger, Lutz - p. 259-276 , 2019
Link: https://doi.org/10.1007/..
 
?
14

Intuitionistic proofs without syntax:

, In: Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science,
Heijltjes, Willem B. ; Hughes, Dominic J. D. ; Straßburger, Lutz - p. 1-13 , 2019
Link: https://dl.acm.org/doi/1..
 
?
15

The problem of proof identity, and why computer scientists ..:

Straßburger, Lutz
Philosophical Transactions: Mathematical, Physical and Engineering Sciences.  377 (2019)  2140 - p. 1-14 , 2019
Link: https://www.jstor.org/st..
 
1-15