Borger, Egon. Ed. Gurevich, Yuri, Ed. Meinke, Karl. Ed.
Computer Science Logic 7th Workshop, CSL '93, Swansea, UK. 1993 - Berlin Springer Verlag 1994 - 336 - Lecture notes in computer science ; 00832 .
3540582770
Computer
Logic
681 LNCS
Computer Science Logic 7th Workshop, CSL '93, Swansea, UK. 1993 - Berlin Springer Verlag 1994 - 336 - Lecture notes in computer science ; 00832 .
3540582770
Computer
Logic
681 LNCS