Rewriting Logic and Its Applications
WRLA 2012: Tallinn, Estonia (Satellite Event of ETAPS 2012)
Franciso Durán (Ed.): Rewriting Logic and Its Applications - 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers. Springer 2012 Lecture Notes in Computer Science 7571 ISBN 978-3-642-34004-8 [ contents ]
WRLA 2010: Paphos, Cyprus (Satellite Event of ETAPS 2010)
Peter Csaba Ölveczky (Ed.): Rewriting Logic and Its Applications - 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers. Springer 2010 Lecture Notes in Computer Science 6381 ISBN 978-3-642-16309-8 [ contents ]



