Fingerprint
Dive into the research topics of 'Proof equivalence in MLL is PSPACE-complete'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Proof equivalence in MLL is PSPACE-complete
Willem Heijltjes, Robin Houston
Research output: Contribution to journal › Article › peer-review
6
Citations
(SciVal)
43
Downloads
(Pure)