Original language | English |
---|---|
Journal | Logical Methods in Computer Science |
DOIs | |
Publication status | Published - 18 Aug 2015 |
Proof Theory of a Multi-Lane Spatial Logic
Sven Linker, Martin Hilscher
Research output: Contribution to journal › Article › peer-review