Adian, Sergei. Ed. Nerode, Anil. Ed.
Logical Foundations of Computer Science Proceedings, 4th Int. Symp., LFCS '97, Yaroslavl, 1997 - Berlin Springer 1997 - 429p - Lecture notes in computer science ; 01234 .
3540630457
681 LNCS
Logical Foundations of Computer Science Proceedings, 4th Int. Symp., LFCS '97, Yaroslavl, 1997 - Berlin Springer 1997 - 429p - Lecture notes in computer science ; 01234 .
3540630457
681 LNCS