The Uniform Proof-Theoretic Foundation of Linear Logic Programming
著者
収録刊行物
-
- Proceedings of the International Logic Programming Symposium, San Diego, California
-
Proceedings of the International Logic Programming Symposium, San Diego, California, 304-318, 1991