Higher-order narrowing with definitional trees

DOI10.1007/3-540-61464-8_48MaRDI QIDQ5055857zbMATH OpenOpenAlexFDO

Authors Michael Hanus, Christian Prehofer

Publication date 9 December 2022

Published in Rewriting Techniques and Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-61464-8_48

Mathematics Subject Classification ID

Logic programming (68N17) Grammars and rewriting systems (68Q42) Functional programming and lambda calculus (68N18)

Recommendations

• Higher-order narrowing with definitional trees
• A Higher-Order Demand-Driven Narrowing Calculus with Definitional Trees
• A needed narrowing strategy
• scientific article; zbMATH DE number 515736
• Evaluation strategies for functional logic programming

Cites work

• scientific article; zbMATH DE number 3730111 (Why is no real title available?)
• scientific article; zbMATH DE number 3993540 (Why is no real title available?)
• A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification
• A needed narrowing strategy
• Automated Theorem-Proving for Theories with Simplifiers Commutativity, and Associativity
• Decidable higher-order unification problems
• Higher order conditional rewriting and narrowing
• Higher-order families
• Higher-order narrowing with convergent systems
• Higher-order narrowing with definitional trees
• Interaction Systems I: The theory of optimal reductions
• Kernel-LEAF: A logic plus functional language
• Logic programming with functions and predicates: The language Babel
• The integration of functions into logic programming: From theory to practice
• The lambda calculus. Its syntax and semantics. Rev. ed.

Cited in

(6)

• A Higher-Order Demand-Driven Narrowing Calculus with Definitional Trees
• Higher-order families
• scientific article; zbMATH DE number 515736 (Why is no real title available?)
• scientific article; zbMATH DE number 1696604 (Why is no real title available?)
• Higher-order narrowing with definitional trees
• Functional and Logic Programming

Describes a project that uses

Uses Software

• Kernel-LEAF
• BABEL

This page was built for publication: Higher-order narrowing with definitional trees

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5055857)