"Computer Science Logic, 14th Annual Conference of the EACSL, Fischbachau, ..."

Peter Clote, Helmut Schwichtenberg (2000)
a service of Schloss Dagstuhl - Leibniz Center for Informatics