Recommendations
Cited in
(8)- Abstract abstract reduction
- Structures for abstract rewriting
- On rewrite constraints and context unification
- Knuth-Bendix completion for non-symmetric transitive relations
- scientific article; zbMATH DE number 5172485 (Why is no real title available?)
- Bi-rewriting, a term rewriting technique for monotonic order relations
- Some general results about proof normalization
- Standard Gröbner-Shirshov Bases of Free Algebras Over Rings, I
This page was built for publication: Bi-rewrite systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q674746)