Proof Theory of a Multi-Lane Spatial Logic

Sven Linker, Martin Hilscher

Research output: Contribution to journalArticlepeer-review

Original languageEnglish
JournalLogical Methods in Computer Science
DOIs
Publication statusPublished - 18 Aug 2015

Cite this