The following pages link to Term Rewriting and Applications (Q5703844):
Displaying 7 items.
- An initial algebra approach to term rewriting systems with variable binders (Q853743) (← links)
- Theory and practice of second-order rewriting: foundation, evolution, and SOL (Q2039930) (← links)
- Algebraic Notions of Termination (Q3003302) (← links)
- On the Relation between Sized-Types Based Termination and Semantic Labelling (Q3644746) (← links)
- Complete algebraic semantics for second-order rewriting systems based on abstract syntax with variable binding (Q5058367) (← links)
- (Q5094148) (← links)
- How to prove decidability of equational theories with second-order computation analyser SOL (Q5110922) (← links)