Pages that link to "Item:Q932523"
From MaRDI portal
The following pages link to Rewriting techniques and applications. 19th international conference, RTA 2008, Hagenberg, Austria, July 15--17, 2008. Proceedings (Q932523):
Displaying 4 items.
- Rewriting techniques and applications. 15th international conference, RTA 2004, Aachen, Germany, June 3--5, 2004. Proceedings. (Q704166) (← links)
- Rewriting techniques and applications. 20th international conference, RTA 2009, Brasília, Brazil, June 29--July 1, 2009. Proceedings (Q1022616) (← links)
- Checking termination of bottom-up evaluation of logic programs with function symbols (Q4593017) (← links)
- Rewriting and narrowing for constructor systems with call-time choice semantics (Q5410729) (← links)