Fingerprint
Dive into the research topics where Lutz Strassburger is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Intuitionistic BV
Acclavio, M. & Straßburger, L., 1 Jan 2026, Automated Reasoning with Analytic Tableaux and Related Methods - 34th International Conference, TABLEAUX 2025, Proceedings. Pozzato, G. L. & Uustalu, T. (eds.). Springer Science and Business Media Deutschland GmbH, p. 414-432 19 p. (Lecture Notes in Computer Science; vol. 15980 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access -
A Simple Loopcheck for Intuitionistic K
Girlando, M., Kuznets, R., Marin, S., Morales, M. & Straßburger, L., 1 Jan 2024, Logic, Language, Information, and Computation - 30th International Workshop, WoLLIC 2024, Proceedings. Metcalfe, G., Studer, T. & de Queiroz, R. (eds.). Springer Science and Business Media Deutschland GmbH, p. 47-63 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14672 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access -
Lambek Calculus with Banged Atoms for Parasitic Gaps
Sadrzadeh, M. & Straßburger, L., 1 Jan 2024, Logic, Language, Information, and Computation - 30th International Workshop, WoLLIC 2024, Proceedings. Metcalfe, G., Studer, T. & de Queiroz, R. (eds.). Springer Science and Business Media Deutschland GmbH, p. 193-209 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14672 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access -
A SYSTEM OF INTERACTION AND STRUCTURE III: THE COMPLEXITY OF SYSTEM BV AND POMSET LOGIC
Nguyên, L. T. T. & Strassburger, L., 1 Jan 2023, In: Logical Methods in Computer Science. 19, 4, p. 25:1-25:60Research output: Contribution to journal › Article › peer-review
Open Access -
Coqlex: Generating Formally Verified Lexers
Ouedraogo, W., Scherer, G. & Straßburger, L., 1 Jan 2023, In: Art, Science, and Engineering of Programming. 8, 1, p. 3:1-3:30Research output: Contribution to journal › Article › peer-review
Open Access -
A Graphical Proof Theory of Logical Time
Acclavio, M., Horne, R., Mauw, S. & Straßburger, L., 1 Jun 2022, 7th International Conference on Formal Structures for Computation and Deduction, FSCD 2022. Felty, A. P. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 22. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 228).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
AN ANALYTIC PROPOSITIONAL PROOF SYSTEM ON GRAPHS
Acclavio, M., Horne, R. & Strassburger, L., 1 Jan 2022, In: Logical Methods in Computer Science. 18, 4Research output: Contribution to journal › Article › peer-review
Open Access -
BV and Pomset Logic Are Not the Same
Nguyên, L. T. D. & Straßburger, L., 1 Feb 2022, 30th EACSL Annual Conference on Computer Science Logic, CSL 2022. Manea, F. & Simpson, A. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 32. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 216).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
Combinatorial Flows as Bicolored Atomic Flows
Omidvar, G. & Straßburger, L., 1 Jan 2022, Logic, Language, Information, and Computation - 28th International Workshop, WoLLIC 2022, Proceedings. Ciabattoni, A., Pimentel, E. & de Queiroz, R. J. G. B. (eds.). Springer Science and Business Media Deutschland GmbH, p. 141-157 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13468 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access -
Combinatorial Proofs for Constructive Modal Logic
Acclavio, M. & Straßburger, L., 1 Jan 2022, Advances in Modal Logic, AiML 2022. Fernandez-Duque, D., Palmigiano, A., Palmigiano, A. & Pinchinat, S. (eds.). College Publications, p. 15-36 22 p. (Advances in Modal Logic; vol. 14).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review