Efficient Reductants Calculi using Partial Evaluation Techniques with Thresholding

DOI10.1016/j.entcs.2007.05.039zbMath1278.68050OpenAlexW2088726314MaRDI QIDQ2867961

Jaime Penabad, Pascual Julián, Ginés Moreno

Publication date: 20 December 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2007.05.039

zbMATH Keywords

partial evaluationfuzzy logic programmingreductants

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Logic programming (68N17)

Related Items (1)

An improved reductant calculus using fuzzy partial evaluation techniques

Cites Work

• Similarity-based unification: A multi-adjoint approach
• On fuzzy unfolding: A multi-adjoint approach
• Partial evaluation in logic programming
• A Transformation System for Developing Recursive Programs
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Efficient Reductants Calculi using Partial Evaluation Techniques with Thresholding