"24th EACSL Annual Conference on Computer Science Logic, CSL 2015, ..."

Stephan Kreutzer (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics