Editorial Preface
Introduction to the special issue: Confluence
-
- Published online by Cambridge University Press:
- 22 February 2023, pp. 827-828
-
- Article
-
- You have access
- HTML
- Export citation
Special Issue: Confluence
String diagram rewrite theory III: Confluence with and without Frobenius
-
- Published online by Cambridge University Press:
- 13 June 2022, pp. 829-869
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Confluence of algebraic rewriting systems
-
- Published online by Cambridge University Press:
- 10 December 2021, pp. 870-897
-
- Article
- Export citation
Confluence of left-linear higher-order rewrite theories by checking their nested critical pairs
-
- Published online by Cambridge University Press:
- 17 March 2022, pp. 898-933
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
On reduction and normalization in the computational core
-
- Published online by Cambridge University Press:
- 16 January 2023, pp. 934-981
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
A rewriting coherence theorem with applications in homotopy type theory
-
- Published online by Cambridge University Press:
- 06 February 2023, pp. 982-1014
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Z property for the shuffling calculus
-
- Published online by Cambridge University Press:
- 10 January 2023, pp. 1015-1027
-
- Article
-
- You have access
- HTML
- Export citation