Computer Science Logic, 5th Workshop, CSL 91, Berne, Switzerland, October 7-11, 1991, Proceedings

Egon Börger, Gerhard Jäger, Hans Kleine Büning, Michael M. Richter, editors, Computer Science Logic, 5th Workshop, CSL 91, Berne, Switzerland, October 7-11, 1991, Proceedings. Volume 626 of Lecture Notes in Computer Science, Springer, 1992.

Conference: csl1992

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

Gerhard Jäger

This author has not been identified. Look up 'Gerhard Jäger' 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