Pages that link to "Item:Q375747"

The following pages link to Proceedings of the 6th international workshop on rewriting logic and its applications (WRLA 2006), Vienna, Austria, April 1--2, 2006 (Q375747):

Displaying 5 items.

• Proceedings of the fifth international workshop on rewriting logic and its applications (WRLA 2004), Barcelona, Spain, March 27--28, 2004 (Q360611) (← links)
• Proceedings of the 6th international workshop on rule-based programming (RULE 2005), Nara, Japan, April 23, 2005 (Q373517) (← 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)
• Special issue: Rewriting logic and its applications. 1st international workshop, Asilomar Conference Center, Pacific Grove, CA, USA, September 1996 (Q1615002) (← links)