Proceedings on Logic at Botik'89 - Meyer A R Ed.; Symposium on logical foundations of computer science (1989 : Pereslavl-zalessky USSR); Taitslin M A Ed. (Berlin Springer-Verlag, 1989)
Keywords: Computer science