Efficient Implementation of a Linear Logic Programming Language
収録刊行物
-
- Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming (JICSLP 1998)
-
Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming (JICSLP 1998) 145-159, 1998