Adian, Sergei (ed) & Nerode, Anil(ed)Logical Foundations of Computer Science symposium , 1997
Logical fundations of computer science. 4th international symposium, LFCS '97, Yaroslavl, Russia, July 6-12, 1997. Proceedings. - Springer Verlag, 1997. - (Lecture Notes in Computer Science; 1234).