"Report on ICTAC 2015: 12th international colloquium on theoretical aspects ..."

Jorge A. Pérez (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics