The following pages link to Bi-rewrite systems (Q674746):
Displaying 6 items.
- Abstract abstract reduction (Q817587) (← links)
- On rewrite constraints and context unification (Q1607044) (← links)
- Some general results about proof normalization (Q1931341) (← links)
- Structures for abstract rewriting (Q2642463) (← links)
- Knuth-Bendix Completion for Non-Symmetric Transitive Relations (Q2841250) (← links)
- Standard Gröbner-Shirshov Bases of Free Algebras Over Rings, I (Q3839878) (← links)
