H B · H. Kleine Buening · Hans Kleine Buning · K. B.
title | ISBN-13 | year of publica- tion | other author(s) |
---|---|---|---|
Computer Science Logic: 5th Workshop, Csl '91, Berne, Switzerland, October 7-11, 1991: Proceedings | 978-0-387-55789-2 | 1992 | Egon Borger · G. Jager |
Computer Science Logic: 6th Workshop, Csl '92 San Miniato, Italy September 28-October 2, 1992 Selected Papers | 978-0-387-56992-5 | 1993 | Egon Borger · G. Jager |
Csl '88: 2nd Workshop on Computer Science Logic Duisburg, Frg, October 3-7, 1988: Proceedings | 978-0-387-51659-2 | 1989 | E. Borger |
Csl, '89. 3rd Workshop on Computer Science Logic, Kaiserlautern, Frg, October 2-6, 1989. Proceedings. | 978-0-387-52753-6 | 1990 | " |