Author:
Morales J. F.,Hermenegildo M.
Publisher
Springer International Publishing
Reference17 articles.
1. Ait-Kaci, H.: Warren’s Abstract Machine, A Tutorial Reconstruction. MIT Press, Cambridge (1991)
2. Boyer, R., More, J.: The sharing of structure in theorem-proving programs. Mach. Intell. 7, 101–116 (1972)
3. Lecture Notes in Computer Science,1996
4. Hermenegildo, M.V., Bueno, F., Carro, M., López, P., Mera, E., Morales, J., Puebla, G.: An overview of ciao and its design philosophy. Theory Pract. Logic Program. 12(1–2), 219–252 (2012). http://arxiv.org/abs/1102.5497
5. Lecture Notes in Computer Science;E Johnson,1999
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献