Pages that link to "Item:Q1418343"

The following pages link to Rewriting techniques and applications. 14th international conference, RTA 2003, Valencia, Spain, June 9--11, 2003. Proceedings (Q1418343):

Displayed 3 items.

• Twenty years of rewriting logic (Q1931904) ‎ (← links)
• Variadic equational matching in associative and commutative theories (Q2029000) ‎ (← links)
• An Undo Framework for P2P Collaborative Editing (Q3407347) ‎ (← links)