Computer Science Logic, 4th Workshop, CSL 90, Heidelberg, Germany, October 1-5, 1990, Proceedings

Egon Börger, Hans Kleine Büning, Michael M. Richter, Wolfgang Schönfeld, editors, Computer Science Logic, 4th Workshop, CSL 90, Heidelberg, Germany, October 1-5, 1990, Proceedings. Volume 533 of Lecture Notes in Computer Science, Springer, 1991.

Conference: csl1991

Editors

Egon Börger

This author has not been identified. It may be one of the following persons: Look up 'Egon Börger' in Google

Hans Kleine Büning

This author has not been identified. Look up 'Hans Kleine Büning' in Google

Michael M. Richter

This author has not been identified. Look up 'Michael M. Richter' in Google

Wolfgang Schönfeld

This author has not been identified. Look up 'Wolfgang Schönfeld' in Google