K. -S. : Efficient Implementation of a Linear Logic Programming Language
収録刊行物
-
- Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming
-
Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming 1998