Pages that link to "Item:Q5895094"
From MaRDI portal
The following pages link to Rewriting logic and its applications (extended selected papers from WRLA 2014) (Q5895094):
Displaying 12 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)
- Rewriting logic and its applications. 12th international workshop, WRLA 2018, held as a satellite event of ETAPS, Thessaloniki, Greece, June 14--15, 2018. Proceedings (Q1798028) (← 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) (Q5891055) (← links)
- Guest editor's foreword (Q5919131) (← links)
- Relational and algebraic methods in computer science (Q5919756) (← links)
- A general theory of confluent rewriting systems for logic programming and its applications (Q5935989) (← links)
