Pages that link to "Item:Q704166"
From MaRDI portal
The following pages link to Rewriting techniques and applications. 15th international conference, RTA 2004, Aachen, Germany, June 3--5, 2004. Proceedings. (Q704166):
Displaying 4 items.
- Proving termination of context-sensitive rewriting by transformation (Q859833) (← links)
- Rewriting techniques and applications. 19th international conference, RTA 2008, Hagenberg, Austria, July 15--17, 2008. Proceedings (Q932523) (← links)
- Loop detection in term rewriting using the eliminating unfoldings (Q944383) (← links)
- Operational Termination of Membership Equational Programs: the Order-Sorted Way (Q5179140) (← links)