収録刊行物
-
- [1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science
-
[1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science 222-232,
IEEE Comput. Soc. Press