"Computer Science Logic, 19th International Workshop, CSL 2005, 14th Annual ..."

C.-H. Luke Ong (2005)
a service of Schloss Dagstuhl - Leibniz Center for Informatics