The following pages link to Equational abstractions (Q944377):
Displaying 5 items.
- Automatic verification of reduction techniques in higher order logic (Q469363) (← links)
- Termination criteria for tree automata completion (Q730470) (← links)
- Language definitions as rewrite theories (Q730476) (← links)
- Algebraic simulations (Q844884) (← links)
- On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories (Q1931906) (← links)
