Pages that link to "Item:Q1273563"

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

Displayed 6 items.

• Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic (Q875516) ‎ (← links)
• Typed generic traversal with term rewriting strategies (Q1394988) ‎ (← links)
• Reflection in conditional rewriting logic (Q1608918) ‎ (← links)
• Executable structural operational semantics in Maude (Q2369036) ‎ (← links)
• (Q2703695) ‎ (← links)
• The control layer in open mechanized reasoning systems: Annotations and tactics (Q5950930) ‎ (← links)