"Computer Science Logic, 18th International Workshop, CSL 2004, 13th Annual ..."

Jerzy Marcinkowski, Andrzej Tarlecki (2004)
a service of Schloss Dagstuhl - Leibniz Center for Informatics