"25th EACSL Annual Conference on Computer Science Logic, CSL 2016, August ..."

Jean-Marc Talbot, Laurent Regnier (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics