1 results
Multi-focused cut elimination
-
- Journal:
- Mathematical Structures in Computer Science / Volume 28 / Issue 5 / May 2018
- Published online by Cambridge University Press:
- 02 March 2017, pp. 614-650
-
- Article
- Export citation