WRLA 2010: Paphos, Cyprus (Satellite Event of ETAPS 2010)

Invited Talks

Termination and Narrowing

Tools

The K Framework

Applications and Semantics

Maude Model Checking and Debugging

Rewrite Engines

maintained by Schloss Dagstuhl LZI at University of Trier