Borger,E. et al Eds.
Computer Science Logic 5th Workshop Proc., CSL '91, Berne, 1991 - Berlin Springer-Verlag 1992 - 428 - Lecture notes in computer science ; 00626 .
354055789X
Computer Science Logic
681 LNCS
Computer Science Logic 5th Workshop Proc., CSL '91, Berne, 1991 - Berlin Springer-Verlag 1992 - 428 - Lecture notes in computer science ; 00626 .
354055789X
Computer Science Logic
681 LNCS