Algebraic coherent confluence and higher globular Kleene algebras
From MaRDI portal
(Redirected from Publication:5060195)
Recommendations
- Coherent confluence modulo relations and double groupoids
- Confluence of algebraic rewriting systems
- Algebras of modal operators and partial correctness
- Algebraic Methodology and Software Technology
- scientific article; zbMATH DE number 1953901
- Abstract abstract reduction
- Kleene algebra with domain
- Kleene getting lazy
- Higher-order rewrite systems and their confluence
- Abstract strategies and coherence
Cites work
- A calculational approach to mathematical induction
- A finiteness condition for rewriting systems
- Abstract abstract reduction
- Abstract strategies and coherence
- Algebraic coherent confluence and higher globular Kleene algebras
- Algebraic notions of nontermination: Omega and divergence in idempotent semirings
- Algebraic Notions of Termination
- Boolean Algebras with Operators. Part I
- Chinese syzygies by insertions
- Coherence in monoidal track categories
- Coherent confluence modulo relations and double groupoids
- Coherent presentations of Artin monoids
- Concurrent Kleene algebra and its foundations
- Confluence of algebraic rewriting systems
- Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
- Convergent presentations and polygraphic resolutions of associative algebras
- Higher-dimensional categories with finite derivation type
- Higher-dimensional normalisation strategies for acyclicity
- Higher-dimensional word problems with applications to equational logic
- Homotopy Associativity of H-Spaces. I
- scientific article; zbMATH DE number 6679826 (Why is no real title available?)
- scientific article; zbMATH DE number 2134022 (Why is no real title available?)
- scientific article; zbMATH DE number 3528212 (Why is no real title available?)
- scientific article; zbMATH DE number 1216133 (Why is no real title available?)
- scientific article; zbMATH DE number 1953901 (Why is no real title available?)
- scientific article; zbMATH DE number 1924513 (Why is no real title available?)
- scientific article; zbMATH DE number 1889386 (Why is no real title available?)
- scientific article; zbMATH DE number 789389 (Why is no real title available?)
- scientific article; zbMATH DE number 3385867 (Why is no real title available?)
- Internal axioms for domain semirings
- Kleene algebra with domain
- Knuth's coherent presentations of plactic monoids of type A
- Limits indexed by category-valued 2-functors
- Modal tools for separation and refinement
- Notes on equational theories of relations
- On theories with a combinatorial definition of 'equivalence'
- Polygraphs of finite derivation type
- Rewriting modulo isotopies in Khovanov-Lauda-Rouquier's categorification of quantum groups
- Termination orders for three-dimensional rewriting
- Towards 3-dimensional rewriting theory
Cited in
(9)- Catoids and modal convolution algebras
- Abstract strategies and coherence
- Algebraic coherent confluence and higher globular Kleene algebras
- Confluence of algebraic rewriting systems
- Single-set cubical categories and their formalisation with a proof assistant
- Higher catoids, higher quantales and their correspondences
- Modal quantales, involutive quantales, Dedekind Quantales
- Catoids, Categories, Groupoids
- Higher Globular Catoids and Quantales
This page was built for publication: Algebraic coherent confluence and higher globular Kleene algebras
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5060195)
