![](/img/cover-not-exists.png)
[ACM Press the 17th ACM SIGPLAN-SIGACT symposium - San Francisco, California, United States (1990..-..)] Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '90 - A finite presentation theorem for approximating logic programs
Heintze, Nevin, Jaffar, JoxanYear:
1990
Language:
english
DOI:
10.1145/96709.96729
File:
PDF, 1.10 MB
english, 1990