Proceedings of the 8th Annual Symposium on Logic in Computer Science (LICS'93), Montreal, Canada, June 19-23, 1993сборник

Статьи, опубликованные в сборнике