The following pages link to Structures for abstract rewriting (Q2642463):
Displaying 12 items.
- Bi-rewrite systems (Q674746) (← links)
- A theory of binding structures and applications to rewriting (Q685380) (← links)
- Some general results about proof normalization (Q1931341) (← links)
- Topological rewriting systems applied to standard bases and syntactic algebras (Q2295395) (← links)
- Reduction operators and completion of rewriting systems (Q2399863) (← links)
- Structures for abstract rewriting (Q2642463) (← links)
- Pullback rewriting and applications (Q4923531) (← links)
- Abstract domains for reordering CLP(RLin) programs (Q4943436) (← links)
- An abstract formulation for rewrite systems (Q5096266) (← links)
- Triangulation in rewriting (Q5111908) (← links)
- Automata, Languages and Programming (Q5466538) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5899075) (← links)