Symposium on Logical Foundations of Computer Science.Symposium on Logical Foundations of Computer Science(1989 : Pereslavl Zalessky, USSR):Logic at Botik`98 : proceedings.Springer,1989.
International Symposium on Logical Foundations of Computer Science.International Symposium on Logical Foundations of Computer Science(2nd : 1992 : Tver):Logiccal foundations of computer science.Springer,1992.