Logical foundations of computer science. LFCS '97, 4th international symposium on logical foundations of computer science in Yaroslavl, Russia, July 6-12, 1997
The articles of this volume will be reviewed individually. The Proceedings have been published in Lecture Notes in Computer Science, Vol. 1234 (Berlin: Springer 1997; Zbl 0865.00035). The 3rd symposium 1994 has been reviewed (see Zbl 0865.00034).
scientific article; zbMATH DE number 1392041