Introduction
Introduction to the special issue: Unification
-
- Published online by Cambridge University Press:
- 08 October 2020, pp. 570-571
-
- Article
-
- You have access
- Export citation
Paper
Free Heyting algebra endomorphisms: Ruitenburg’s Theorem and beyond
-
- Published online by Cambridge University Press:
- 21 January 2020, pp. 572-596
-
- Article
- Export citation
Extensions of unification modulo ACUI
-
- Published online by Cambridge University Press:
- 11 November 2019, pp. 597-626
-
- Article
-
- You have access
- Open access
- Export citation
Higher-order pattern generalization modulo equational theories
-
- Published online by Cambridge University Press:
- 20 May 2020, pp. 627-663
-
- Article
-
- You have access
- Open access
- Export citation
Bounded ACh unification
-
- Published online by Cambridge University Press:
- 16 September 2020, pp. 664-682
-
- Article
- Export citation
Computing knowledge in equational extensions of subterm convergent theories
-
- Published online by Cambridge University Press:
- 02 March 2020, pp. 683-709
-
- Article
- Export citation
Rewriting with generalized nominal unification
-
- Published online by Cambridge University Press:
- 22 May 2020, pp. 710-735
-
- Article
- Export citation