Computer Science Logic
6th Workshop, CSL '92 San Miniato, Italy, September 28 – October 2, 1992 Selected Papers
- Editors
Conference proceedings
CSL 1992
Part of the Lecture Notes in Computer Science book series (LNCS, volume 702)