"Computer Science Logic (CSL'12) - 26th International Workshop/21st Annual ..."

Patrick Cégielski, Arnaud Durand (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics