Computer science logic : proceedings - Borger E; Workshop on Computer Science Logic( 4th : 1990 : Heidelberg ); Workshop on Computer Science Logic 4th Heidelberg, 1990 (Berlin Springer Verlag, 1991)
Keywords: Computer science