Pages that link to "Item:Q5891055"
From MaRDI portal
The following pages link to Rewriting logic and its applications (extended selected papers from WRLA 2014) (Q5891055):
Displaying 10 items.
- Proceedings of the fifth international workshop on rewriting logic and its applications (WRLA 2004), Barcelona, Spain, March 27--28, 2004 (Q360611) (← links)
- Foreword to the special issue on security and rewriting techniques (Q462476) (← 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 techniques and applications. Selected papers from the 12th international conference, RTA 2001, Utrecht University, Utrecht, The Netherlands, May 22-24, 2001. (Q1434840) (← links)
- Comparing logics for rewriting: Rewriting logic, action calculi and tile logic (Q1608920) (← links)
- Special issue: Rewriting logic and its applications. 1st international workshop, Asilomar Conference Center, Pacific Grove, CA, USA, September 1996 (Q1615002) (← links)
- Rewritability in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics (Invited Talk). (Q3174890) (← links)
- Rewriting logic and its applications (extended selected papers from WRLA 2014) (Q5895094) (← links)
- Guest editor's foreword (Q5919131) (← links)
- A general theory of confluent rewriting systems for logic programming and its applications (Q5935989) (← links)
