The following pages link to Bi-rewrite systems (Q674746):
Displaying 8 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)
- Bi-rewriting, a term rewriting technique for monotonic order relations (Q5055782) (← links)
- (Q5297489) (← links)