Computer Science Logic, 11th International Workshop, CSL '97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected Papers

Mogens Nielsen Wolfgang Thomas Computer Science Logic, 11th International Workshop, CSL '97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected Papers CSL Lecture Notes in Computer Science 1414 Springer 1998 3-540-64570-5 db/conf/csl/csl97.html