Algebraic coherent confluence and higher globular Kleene algebras
From MaRDI portal
Publication:5060195
DOI10.46298/lmcs-18(4:9)2022OpenAlexW4313258554MaRDI QIDQ5060195
Eric Goubault, Cameron Calk, Georg Struth, Philippe Malbos
Publication date: 9 January 2023
Published in: Logical Methods in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2006.16129v5
Logic in computer science (03B70) Grammars and rewriting systems (68Q42) Strict omega-categories, computads, polygraphs (18N30)
Related Items (2)
Algebraic coherent confluence and higher globular Kleene algebras ⋮ Catoids and modal convolution algebras
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Higher-dimensional normalisation strategies for acyclicity
- Concurrent Kleene algebra and its foundations
- Algebraic notions of nontermination: Omega and divergence in idempotent semirings
- Internal axioms for domain semirings
- Higher-dimensional word problems with applications to equational logic
- Abstract abstract reduction
- Limits indexed by category-valued 2-functors
- A finiteness condition for rewriting systems
- Notes on equational theories of relations
- A calculational approach to mathematical induction
- Knuth's coherent presentations of plactic monoids of type A
- Chinese syzygies by insertions
- Coherent confluence modulo relations and double groupoids
- Rewriting modulo isotopies in Khovanov-Lauda-Rouquier's categorification of quantum groups
- Convergent presentations and polygraphic resolutions of associative algebras
- Termination orders for three-dimensional rewriting
- On theories with a combinatorial definition of 'equivalence'
- Abstract strategies and coherence
- Algebraic Notions of Termination
- Polygraphs of finite derivation type
- Higher-dimensional categories with finite derivation type
- Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
- Coherence in monoidal track categories
- Algebraic coherent confluence and higher globular Kleene algebras
- Coherent presentations of Artin monoids
- Kleene algebra with domain
- Modal Tools for Separation and Refinement
- Towards 3-Dimensional Rewriting Theory
- Homotopy Associativity of H-Spaces. I
- Boolean Algebras with Operators. Part I
- Confluence of algebraic rewriting systems
This page was built for publication: Algebraic coherent confluence and higher globular Kleene algebras
