by LFCS ʼ97 (4th 1997 Yaroslavlʹ, Russia (City))
This book constitutes the refereed proceedings of the 4th International Symposium on Logical Foundations of Computer Science, LFCS'97, held in Yaroslavl, Russia, in July 1997. The volume presents 4…