Confluence of algebraic rewriting systems
From MaRDI portal
Recommendations
- Algebraic coherent confluence and higher globular Kleene algebras
- Topological rewriting systems applied to standard bases and syntactic algebras
- An algebraic structure for derivations in rewriting systems
- Polymorphic rewriting conserves algebraic confluence
- On deciding confluence of finite string-rewriting systems modulo partial commutativity
Cites work
- A catalogue of complete group presentations
- A finiteness condition for rewriting systems
- A Machine-Oriented Logic Based on the Resolution Principle
- A new finiteness condition for monoids presented by complete rewriting systems (after Craig C. Squier)
- An algorithm for finding the basis elements of the residue class ring of a zero dimensional polynomial ideal
- Coherence in monoidal track categories
- Coherent presentations of Artin monoids
- Coherent presentations of monoidal categories
- Complete rewriting systems and homology of monoid algebras
- Complete Sets of Reductions for Some Equational Theories
- Completion for rewriting modulo a congruence
- Computing critical pairs in 2-dimensional rewriting systems
- Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
- Convergent presentations and polygraphic resolutions of associative algebras
- Cyclic rewriting and conjugacy problems.
- For groups the property of having finite derivation type is equivalent to the homological finiteness condition \(FP_ 3\)
- FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
- Geodesic rewriting systems and pregroups
- Gröbner bases for operads
- Higher-dimensional categories with finite derivation type
- Higher-dimensional normalisation strategies for acyclicity
- Homological computations for term rewriting systems
- scientific article; zbMATH DE number 3170376 (Why is no real title available?)
- scientific article; zbMATH DE number 3870640 (Why is no real title available?)
- scientific article; zbMATH DE number 3871338 (Why is no real title available?)
- scientific article; zbMATH DE number 3952003 (Why is no real title available?)
- scientific article; zbMATH DE number 3528212 (Why is no real title available?)
- scientific article; zbMATH DE number 2070162 (Why is no real title available?)
- scientific article; zbMATH DE number 6109844 (Why is no real title available?)
- scientific article; zbMATH DE number 1889386 (Why is no real title available?)
- scientific article; zbMATH DE number 3299786 (Why is no real title available?)
- Maurice Janet's algorithms on systems of linear partial differential equations
- Normalized rewriting: An alternative to rewriting modulo a set of equations
- On the Homology of Associative Algebras
- Polygraphs of finite derivation type
- Rewriting Systems and Embedding of Monoids in Groups
- The diamond lemma for ring theory
- The Knuth-Bendix algorithm and the conjugacy problem in monoids.
- Word problems and a homological finiteness condition for monoids
Cited in
(15)- A class of confluent term rewriting systems and unification
- An algebraic structure for derivations in rewriting systems
- Confluence of curried term-rewriting systems
- Rewriting modulo isotopies in pivotal linear (2,2)-categories
- Coherent confluence modulo relations and double groupoids
- Topological rewriting systems applied to standard bases and syntactic algebras
- Confluence in probabilistic rewriting
- Finite canonical rewriting systems for congruences generated by concurrency relations
- scientific article; zbMATH DE number 7453087 (Why is no real title available?)
- Algebraic coherent confluence and higher globular Kleene algebras
- Term Rewriting and Applications
- An Automated Confluence Proof for an Infinite Rewrite System Parametrized over an Integro-Differential Algebra
- Shuffle polygraphic resolutions for operads
- Super rewriting theory and nondegeneracy of odd categorified \(\mathfrak{sl}_2\)
- On ground-confluence of term rewriting systems
This page was built for publication: Confluence of algebraic rewriting systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5879266)
