Computer science logic : proceedings - Borger E; Workshop on Computer Science Logic( 7th : 1993 : Swensea,U K ); Workshop on Computer Science Logic 7th Swensea, U K 1993 (Berlin Springer Verlag, 1994)
Keywords: Computer science