Pages that link to "Item:Q371260"
From MaRDI portal
The following pages link to WRLA 2002. Proceedings of the 4th international workshop on rewriting logic and its applications, Pisa, Italy, September 19--21, 2002 (Q371260):
Displaying 6 items.
- Proceedings of the fifth international workshop on rewriting logic and its applications (WRLA 2004), Barcelona, Spain, March 27--28, 2004 (Q360611) (← links)
- Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic (Q875516) (← links)
- Rewriting logic and its applications. Proceedings of the 1st international workshop, Pacific Grove, CA, USA, September 3--6, 1996 (Q1273555) (← links)
- IThe 2nd international workshop on rewriting logic and its applications, RWLW.. Abbaye des Prèmontrès at Pont-á-Mousson, France, September 1998 (Q1273563) (← links)
- Special issue: Rewriting logic and its applications. 1st international workshop, Asilomar Conference Center, Pacific Grove, CA, USA, September 1996 (Q1615002) (← links)
- Rewriting logic and its applications. 12th international workshop, WRLA 2018, held as a satellite event of ETAPS, Thessaloniki, Greece, June 14--15, 2018. Proceedings (Q1798028) (← links)
