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

Refine list

showing all ?? records

Invited Talks

Termination and Narrowing

Tools

The K Framework

Applications and Semantics

Maude Model Checking and Debugging

Rewrite Engines

a service of  Schloss Dagstuhl - Leibniz Center for Informatics