"Computer Science Logic, 13th International Workshop, CSL '99, 8th Annual ..."

Jörg Flum, Mario Rodríguez-Artalejo (1999)
a service of Schloss Dagstuhl - Leibniz Center for Informatics