2003年
Efficient Fixpoint Computation in Linear Tabling
Proceedings of the Fifth ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming (PPDP2003)
- ,
- 開始ページ
- 275
- 終了ページ
- 283