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