Publisher
Springer Berlin Heidelberg
Reference25 articles.
1. Alpuente, M., Falaschi, M., Manzo, F.: Analyses of unsatisfiability for equational logic programming. Journal of Logic Programming 311(1–3), 479–525 (1995)
2. Alpuente, M., Falaschi, M., Moreno, G., Vidal, G.: Safe folding/unfolding with conditional narrowing. In: Proc. of ALP/HOA 97, pp. 1–15 (1997)
3. Alpuente, M., Falaschi, M., Moreno, G., Vidal, G.: Rules + strategies for transforming lazy functional logic programs. Theoretical Computer Science 311(1–3), 479–525 (2004)
4. Lecture Notes in Computer Science;M. Alpuente,1993
5. Arts, T., Giesl, J.: Termination of term rewriting using dependency pairs. Theoretical Computer Science 236, 133–178 (2000)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献