Publisher
Springer Berlin Heidelberg
Reference26 articles.
1. Aarts, A., et al.: Fixed point calculus. Inform. Proc. Lett. 53, 131–136 (1996)
2. Aho, A., Garey, M., Ullman, J.: The transitive reduction of a directed graph. SIAM J. of Comput. 1, 131–137 (1972)
3. Antoy, S., Hanus, M.: Functional logic programming. Comm. of the ACM 53, 74–85 (2010)
4. Lecture Notes in Computer Science;R. Berghammer,1988
5. Berghammer, R., von Karger, B.: Algorithms from relational specification. In: Brink, C., Kahl, W., Schmidt, G. (eds.) Relational Methods in Computer Science, pp. 131–149. Springer, Heidelberg (1997)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献