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