27th LOPSTR 2017: Namur, Belgium

Analysis

Program Development

Term Rewriting and CHR

Theory

Verification

a service of Schloss Dagstuhl - Leibniz Center for Informatics