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