28th LOPSTR 2018: Frankfurt/Main, Germany

Analysis of Term Rewriting

Logic-Based Distributed/Concurrent Programming

Analysis of Logic Programming

Program Analysis

a service of Schloss Dagstuhl - Leibniz Center for Informatics