Computer science logic : proceedings - Borger E; Workshop on Computer Science Logic( 5th : 1991 : Switzerland ); Workshop on Computer Science Logic 5th , Switzerland 1991 (Berlin Springer Verlag, 1992)
Keywords: Computer science