"Proceedings of the 24th Annual IEEE Symposium on Logic in Computer ..."

a service of Schloss Dagstuhl - Leibniz Center for Informatics