Publikationen
Liste als BibTeX-Datei exportieren
- Subexponentials in non-commutative linear logic Mathematical Structures in Computer Science, 29(8):1217–1249, 2019. Details URL DOI BIB
- A Logical Framework with Commutative and Non-commutative Subexponentials In Automated Reasoning - 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Seiten 228–245, 2018. Details URL DOI BIB
- Subexponentials in non-commutative linear logic Mathematical Structures in Computer Science, ():, 2018. Details URL DOI BIB