Pages that link to "Item:Q1273555"
From MaRDI portal
The following pages link to Rewriting logic and its applications. Proceedings of the 1st international workshop, Pacific Grove, CA, USA, September 3--6, 1996 (Q1273555):
Displaying 5 items.
- IThe 2nd international workshop on rewriting logic and its applications, RWLW.. Abbaye des Prèmontrès at Pont-á-Mousson, France, September 1998 (Q1273563) (← links)
- Equational rules for rewriting logic (Q1608925) (← links)
- Special issue: Rewriting logic and its applications. 1st international workshop, Asilomar Conference Center, Pacific Grove, CA, USA, September 1996 (Q1615002) (← links)
- Higher-order algebra, logic, and term rewriting. Second international workshop, HOA '95, Paderborn, Germany, September 21--22, 1995. Selected papers (Q1919224) (← links)
- Two Decades of Maude (Q2945709) (← links)