Pages that link to "Item:Q2399863"
From MaRDI portal
The following pages link to Reduction operators and completion of rewriting systems (Q2399863):
Displaying 13 items.
- Abstract reduction systems and idea of Knuth-Bendix completion algorithm (Q467811) (← links)
- Elimination transformations for associative-commutative rewriting systems (Q877834) (← links)
- Syzygies among reduction operators (Q1789663) (← links)
- Reduction and introducers in \(d\)-contexts (Q2294543) (← links)
- Topological rewriting systems applied to standard bases and syntactic algebras (Q2295395) (← links)
- Complete involutive rewriting systems (Q2466871) (← links)
- Structures for abstract rewriting (Q2642463) (← links)
- Reduction relations for monoid semirings (Q2643513) (← links)
- A lattice formulation of the noncommutative F4 procedure (Q4629508) (← links)
- (Q4942275) (← links)
- Term Rewriting and Applications (Q5703868) (← links)
- Processes, Terms and Cycles: Steps on the Road to Infinity (Q5898158) (← links)
- Processes, Terms and Cycles: Steps on the Road to Infinity (Q5898167) (← links)