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)

1 results
- Last Name(descending)

Willem Heijltjes
- W.B.Heijltjesbath.acuk
- Department of Computer Science - Senior Lecturer
- Mathematical Foundations of Computation
Person: Research & Teaching