Pages that link to "Item:Q1273563"
From MaRDI portal
The following pages link to IThe 2nd international workshop on rewriting logic and its applications, RWLW.. Abbaye des Prèmontrès at Pont-á-Mousson, France, September 1998 (Q1273563):
Displaying 11 items.
- Dependency pairs for proving termination properties of conditional term rewriting systems (Q347382) (← 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)
- Typed generic traversal with term rewriting strategies (Q1394988) (← links)
- Reflection in conditional rewriting logic (Q1608918) (← links)
- Special issue: Rewriting logic and its applications. 1st international workshop, Asilomar Conference Center, Pacific Grove, CA, USA, September 1996 (Q1615002) (← links)
- Programming and symbolic computation in Maude (Q2291818) (← links)
- Executable structural operational semantics in Maude (Q2369036) (← links)
- ASF+SDF parsing tools applied to ELAN (Q2703695) (← links)
- Two Decades of Maude (Q2945709) (← links)
- The control layer in open mechanized reasoning systems: Annotations and tactics (Q5950930) (← links)
