Author:
Caballero Rafael,Rodríguez-Artalejo Mario
Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. Electronic Notes in Theoretical Computer Science;M. Alpuente,2002
2. Comini, M., Levi, G., Meo, M.C., Vitello, G.: Abstract Diagnosis. J. of Logic Programming 39, 43–93 (1999)
3. Cameron, M., García de la Banda, M., Marriott, K., Moulder, P.: ViMer: A Visual Debugger for Mercury. In: Proc. PPDP 2003, pp. 56–66. ACM Press, New York (2003)
4. Electronic Notes in Theoretical Computer Science;R. Caballero,2002
5. Lecture Notes in Computer Science;R. Caballero,2001
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献