"26th EACSL Annual Conference on Computer Science Logic, CSL 2017, August ..."

Valentin Goranko, Mads Dam (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics