Efficient Implementation of a Linear Logic Programming Language
収録刊行物
-
- Proc. 1998 Joint International Conference and Symposium on Logic Programming
-
Proc. 1998 Joint International Conference and Symposium on Logic Programming 1998
The MIT Press