Computer Science Logic
Börger, Egon / Jäger, Gerhard / Richter, Michael M. / Martini, Simone / Kleine Büning, Hans
This volume presents the proceedings of the Computer Science
Logic Workshop CSL '92, held in Pisa, Italy, in
September/October 1992. CSL '92 was the sixth of the series
and the first one held as Annual Conference of the European
Association for Computer Science Logic (EACSL). Full
versions of the workshop contributions were collected after
their presentation and reviewed. On the basis of 58 reviews,
26 papers were selected for publicat...