1990
Studies in Pure Prolog: termination
Publication
Publication
Presented at the
Computational Logic Conference
Additional Metadata | |
---|---|
Springer-Verlag | |
Computational Logic Conference | |
Organisation | Logic and language |
Apt, K., & Pedreschi, D. (1990). Studies in Pure Prolog: termination. In Proceedings of Computational Logic Conference 1990 (pp. 150–176). Springer-Verlag. |