International Symposoium on Logical Foundation of Computer Science.International Symposium on Logical Foundation of Computer Science(2nd : 1992 : Tver):Logical foundations of computer Science.Springer,1992.
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.
Biennial Summer Conference on Category Theory and Computer Science.Biennial Summer Conference on Category Theory and Computer Science(4th : 1991 : France):Category theory and Computer science.Springer,1991.