Computer science logic : proceedings - Borger E; Workshop on Computer Science Logic( 1st : 1987 : Karlsruhe,FRG ); Workshop on Computer Science Logic 1st Karlsruhe, FRG 1987 (Berlin Springer Verlag, 1987)
Keywords: Computer science