1 results
Expansion trees with cut
-
- Journal:
- Mathematical Structures in Computer Science / Volume 29 / Issue 8 / September 2019
- Published online by Cambridge University Press:
- 08 October 2019, pp. 1009-1029
-
- Article
- Export citation