Reduction operators and completion of rewriting systems
From MaRDI portal
Publication:2399863
DOI10.1016/j.jsc.2017.03.002zbMath1371.68136arXiv1605.00174OpenAlexW2962851192MaRDI QIDQ2399863
Publication date: 24 August 2017
Published in: Journal of Symbolic Computation (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1605.00174
Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Grammars and rewriting systems (68Q42)
Related Items (3)
A lattice formulation of the noncommutative F4 procedure ⋮ Syzygies among reduction operators ⋮ Topological rewriting systems applied to standard bases and syntactic algebras
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Confluence algebras and acyclicity of the Koszul complex
- Selected works of A. I. Shirshov. Translated by Murray Bremner and Mikhail V. Kotchetov. Edited by Leonid A. Bokut, Victor Latyshev, Ivan Shestakov and Efim Zelmanov
- A finite Thue system with decidable word problem and without equivalent finite canonical system
- History and basic features of the critical-pair/completion procedure
- The diamond lemma for ring theory
- Confluence and Koszulity
- Weakly confluent quadratic algebras
- An introduction to commutative and noncommutative Gröbner bases
- On theories with a combinatorial definition of 'equivalence'
- Representations of non-commutative quantum groups
- Term Rewriting and All That
- Koszul Resolutions
- Koszulity for nonquadratic algebras.
This page was built for publication: Reduction operators and completion of rewriting systems