[Lecture Notes in Computer Science] Programming Languages: Implementations, Logics and Programs Volume 982 || Exploiting parallelism in tabled evaluations
- 作者Hermenegildo, Manuel; Swierstra, S. Doaitse
- 文件大小940.04KB
- 发表时间1995
- DOI10.1007/bfb0026817
- 页码115-132
同出版社推荐
