Borger, E. Ed. Kleine Buning, H. Ed. Richter, M M. Ed.
CSL '89 Proceedings, 3rd Workshop, FRG, 1989 - Berlin Springer Verlag 1990 - 437 - Lecture notes in computer science ; 00440 .
3540537532
Computer Science Logic
681 LNCS
CSL '89 Proceedings, 3rd Workshop, FRG, 1989 - Berlin Springer Verlag 1990 - 437 - Lecture notes in computer science ; 00440 .
3540537532
Computer Science Logic
681 LNCS