Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. Lecture Notes in Computer Science;M. Alpuente,2000
2. Alpuente, M., Falaschi, M., Moreno, G., Vidal, G.: Rules + Strategies for Transforming Lazy Functional Logic Programs. Theoretical Computer Science 311, 479–525 (2004)
3. Bossi, A., Cocco, N.: Basic Transformation Operations which Preserve Computed Answer Substitutions of Logic Programs. Journal of Logic Programming 16, 47–87 (1993)
4. Burstall, R.M., Darlington, J.: A Transformation System for Developing Recursive Programs. Journal of the ACM 24(1), 44–67 (1977)
5. Gardner, P.A., Shepherdson, J.C.: Unfold/Fold Transformation of Logic Programs. In: Lassez, J.L., Plotkin, G. (eds.) Computational Logic, Essays in Honor of Alan Robinson, pp. 565–583. The MIT Press, Cambridge (1991)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Efficient Unfolding of Fuzzy Connectives for Multi-adjoint Logic Programs;Interactions Between Computational Intelligence and Mathematics;2018
2. Declarative Traces into Fuzzy Computed Answers;Rule-Based Reasoning, Programming, and Applications;2011
3. Similarity-Based Equality with Lazy Evaluation;Communications in Computer and Information Science;2010
4. RFuzzy: An Expressive Simple Fuzzy Compiler;Lecture Notes in Computer Science;2009
5. Programming with Fuzzy Logic and Mathematical Functions;Fuzzy Logic and Applications;2006