Computer science logic : proceedings - Borger E; Workshop on Computer Science Logic( 3rd : 1989 : FRG ); Workshop on Computer Science Logic 3rd , FRG 1989 (Berlin Springer Verlag, 1990)
Keywords: Computer science