6 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
Flexible coinductive logic programming
-
- Journal:
- Theory and Practice of Logic Programming / Volume 20 / Issue 6 / November 2020
- Published online by Cambridge University Press:
- 22 September 2020, pp. 818-833
-
- Article
- Export citation
Tabling, Rational Terms, and Coinduction Finally Together!
-
- Journal:
- Theory and Practice of Logic Programming / Volume 14 / Issue 4-5 / July 2014
- Published online by Cambridge University Press:
- 21 July 2014, pp. 429-443
-
- Article
- Export citation
(Co-)Inductive semantics for Constraint Handling Rules
-
- Journal:
- Theory and Practice of Logic Programming / Volume 11 / Issue 4-5 / July 2011
- Published online by Cambridge University Press:
- 06 July 2011, pp. 593-609
-
- Article
- Export citation
Idealized coinductive type systemsfor imperative object-oriented programs
-
- Journal:
- RAIRO - Theoretical Informatics and Applications / Volume 45 / Issue 1 / January 2011
- Published online by Cambridge University Press:
- 15 March 2011, pp. 3-33
- Print publication:
- January 2011
-
- Article
- Export citation
A note on Coinduction and Weak Bisimilarity for While Programs
-
- Journal:
- RAIRO - Theoretical Informatics and Applications / Volume 33 / Issue 4-5 / July 1999
- Published online by Cambridge University Press:
- 15 August 2002, pp. 393-400
- Print publication:
- July 1999
-
- Article
- Export citation