Works matching IS 09601295 AND DT 2022 AND VI 32 AND IP 7
Results: 7
Introduction to the special issue: Confluence.
- Published in:
- 2022
- By:
- Publication type:
- Editorial
A rewriting coherence theorem with applications in homotopy type theory.
- Published in:
- Mathematical Structures in Computer Science, 2022, v. 32, n. 7, p. 982, doi. 10.1017/S0960129523000026
- By:
- Publication type:
- Article
On reduction and normalization in the computational core.
- Published in:
- Mathematical Structures in Computer Science, 2022, v. 32, n. 7, p. 934, doi. 10.1017/S0960129522000433
- By:
- Publication type:
- Article
Z property for the shuffling calculus.
- Published in:
- Mathematical Structures in Computer Science, 2022, v. 32, n. 7, p. 1015, doi. 10.1017/S0960129522000408
- By:
- Publication type:
- Article
String diagram rewrite theory III: Confluence with and without Frobenius.
- Published in:
- Mathematical Structures in Computer Science, 2022, v. 32, n. 7, p. 829, doi. 10.1017/S0960129522000123
- By:
- Publication type:
- Article
Confluence of left-linear higher-order rewrite theories by checking their nested critical pairs.
- Published in:
- Mathematical Structures in Computer Science, 2022, v. 32, n. 7, p. 898, doi. 10.1017/S0960129522000044
- By:
- Publication type:
- Article
Confluence of algebraic rewriting systems.
- Published in:
- Mathematical Structures in Computer Science, 2022, v. 32, n. 7, p. 870, doi. 10.1017/S0960129521000426
- By:
- Publication type:
- Article