Computer Science Logic, 9th International Workshop, CSL '95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995, Selected Papers

Hans Kleine Büning Computer Science Logic, 9th International Workshop, CSL '95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995, Selected Papers CSL Lecture Notes in Computer Science 1092 Springer 1996 3-540-61377-3 db/conf/csl/csl95.html