Pages that link to "Item:Q932523"

The following pages link to Rewriting techniques and applications. 19th international conference, RTA 2008, Hagenberg, Austria, July 15--17, 2008. Proceedings (Q932523):

Displaying 2 items.

• 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)