4 results
SEMI-EQUATIONAL THEORIES
- Part of
-
- Journal:
- The Journal of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 10 May 2023, pp. 1-32
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
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
Computing knowledge in equational extensions of subterm convergent theories
-
- Journal:
- Mathematical Structures in Computer Science / Volume 30 / Issue 6 / June 2020
- Published online by Cambridge University Press:
- 02 March 2020, pp. 683-709
-
- Article
- Export citation
A deterministic rewrite system for the probabilistic λ-calculus
-
- Journal:
- Mathematical Structures in Computer Science / Volume 29 / Issue 10 / November 2019
- Published online by Cambridge University Press:
- 06 June 2019, pp. 1479-1512
-
- Article
- Export citation