Pages that link to "Item:Q704166"

The following pages link to Rewriting techniques and applications. 15th international conference, RTA 2004, Aachen, Germany, June 3--5, 2004. Proceedings. (Q704166):

Displaying 3 items.

• Proving termination of context-sensitive rewriting by transformation (Q859833) (← links)
• Loop detection in term rewriting using the eliminating unfoldings (Q944383) (← links)
• Operational Termination of Membership Equational Programs: the Order-Sorted Way (Q5179140) (← links)