Computer Science Logic, 6th Workshop, CSL 92, San Miniato, Italy, September 28 - October 2, 1992, Selected Papers

Egon Börger, Gerhard Jäger, Hans Kleine Büning, Simone Martini, Michael M. Richter, editors, Computer Science Logic, 6th Workshop, CSL 92, San Miniato, Italy, September 28 - October 2, 1992, Selected Papers. Volume 702 of Lecture Notes in Computer Science, Springer, 1993.

Conference: csl1993

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

Simone Martini

This author has not been identified. Look up 'Simone Martini' in Google

Michael M. Richter

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