1 results
The New Normal: We Cannot Eliminate Cuts in Coinductive Calculi, But We Can Explore Them
-
- Journal:
- Theory and Practice of Logic Programming / Volume 20 / Issue 6 / November 2020
- Published online by Cambridge University Press:
- 22 September 2020, pp. 990-1005
-
- Article
- Export citation