Passer à la navigation principale Passer à la recherche Passer au contenu principal
Aucune photo de Lutz Strassburger

Voir le profil Scopus

Lutz Strassburger

Directeur de Recherche

20012026

Résultat de recherche par an

Empreinte digitale

Passez en revue plus en détail les thèmes de recherche où Lutz Strassburger est actif. Ces libellés thématiques proviennent des travaux de cette personne. Ensemble, ils forment une empreinte digitale unique.
  • 1 Profils similaires
Afficher l'empreinte digitale dans sa totalité

Collaborations et principaux domaines de recherche des cinq dernières années

Collaboration externe récente au niveau du pays/territoire. Voir les détails en cliquant sur les points ou
Explorer davantage le réseau
  • 42 Contribution à une conférence
  • 21 Article
  • 3 Chapitre
  • 1 Article de conférence

  • Intuitionistic BV

    Acclavio, M. & Straßburger, L., 1 janv. 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).

    Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

    Accès ouvert

  • A Simple Loopcheck for Intuitionistic K

    Girlando, M., Kuznets, R., Marin, S., Morales, M. & Straßburger, L., 1 janv. 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).

    Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

    Accès ouvert

  • Lambek Calculus with Banged Atoms for Parasitic Gaps

    Sadrzadeh, M. & Straßburger, L., 1 janv. 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).

    Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

    Accès ouvert

  • A SYSTEM OF INTERACTION AND STRUCTURE III: THE COMPLEXITY OF SYSTEM BV AND POMSET LOGIC

    Nguyên, L. T. T. & Strassburger, L., 1 janv. 2023, Dans: Logical Methods in Computer Science. 19, 4, p. 25:1-25:60

    Résultats de recherche: Contribution à un journal › Article › Revue par des pairs

    Accès ouvert

  • Coqlex: Generating Formally Verified Lexers

    Ouedraogo, W., Scherer, G. & Straßburger, L., 1 janv. 2023, Dans: Art, Science, and Engineering of Programming. 8, 1, p. 3:1-3:30

    Résultats de recherche: Contribution à un journal › Article › Revue par des pairs

    Accès ouvert

  • A Graphical Proof Theory of Logical Time

    Acclavio, M., Horne, R., Mauw, S. & Straßburger, L., 1 juin 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).

    Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

  • AN ANALYTIC PROPOSITIONAL PROOF SYSTEM ON GRAPHS

    Acclavio, M., Horne, R. & Strassburger, L., 1 janv. 2022, Dans: Logical Methods in Computer Science. 18, 4

    Résultats de recherche: Contribution à un journal › Article › Revue par des pairs

    Accès ouvert

  • BV and Pomset Logic Are Not the Same

    Nguyên, L. T. D. & Straßburger, L., 1 févr. 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).

    Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

  • Combinatorial Flows as Bicolored Atomic Flows

    Omidvar, G. & Straßburger, L., 1 janv. 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).

    Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

    Accès ouvert

  • Combinatorial Proofs for Constructive Modal Logic

    Acclavio, M. & Straßburger, L., 1 janv. 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).

    Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

Tout afficher 67 résultat de recherche