[Lecture Notes in Computer Science] Programming Languages: Implementations, Logics and Programs Volume 982 || A verified implementation of narrowing
- 作者Hermenegildo, Manuel; Swierstra, S. Doaitse
- 文件大小990.20KB
- 发表时间1995
- DOI10.1007/bfb0026814
- 页码63-80
同出版社推荐
