Logical foundations of computer science : proceedings - Nerodo A; International Symposium on Logical Foundations of computer Science( 3rd : 1994 : Petersburg ); International Symposium on Logical Foundations of computer Science 3rd Petersburg, 1994 (Berlin Springer Verlag, 1994)
Keywords: Computer science