search author

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. Lecture Notes in Computer Science 6381 Springer 2010, ISBN 978-3-642-16309-8 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Invited Talks

Termination and Narrowing

Tools

The K Framework

Applications and Semantics

Maude Model Checking and Debugging

Rewrite Engines