"27th EACSL Annual Conference on Computer Science Logic, CSL 2018, ..."

Dan R. Ghica, Achim Jung (2018)
a service of Schloss Dagstuhl - Leibniz Center for Informatics