Theoretical Computer Science, Volume 800

Volume 800, December 2019

Special issue on Refereed papers from the CAI 2017 conference
a service of Schloss Dagstuhl - Leibniz Center for Informatics