Germany) Workshop on Computer Science Logic 1990 (Heidelberg

titleISBN-13
(ISBN-10)
year of publica-
tion
other author(s)
Computer Science Logic: 4th Workshop, Csl '90 Heidelberg, Germany, October 1-5, 1990: Proceedings978-O-387-54487-8
(O-387-54487-9)
1991Egon Borger

G. C. · G.O. · G.W. · **O.C.** · W.C.

Germar Wambach