2 results
Higher-order pattern generalization modulo equational theories
-
- Journal:
- Mathematical Structures in Computer Science / Volume 30 / Issue 6 / June 2020
- Published online by Cambridge University Press:
- 20 May 2020, pp. 627-663
-
- Article
-
- You have access
- Open access
- Export citation
Anti-unification in Constraint Logic Programming
-
- Journal:
- Theory and Practice of Logic Programming / Volume 19 / Issue 5-6 / September 2019
- Published online by Cambridge University Press:
- 20 September 2019, pp. 773-789
-
- Article
- Export citation