Higher order conditional rewriting and narrowing

DOI10.1007/BFB0016859MaRDI QIDQ5096313zbMATH OpenOpenAlexFDO

Authors Jürgen Avenhaus, Carlos Loría-Sáenz

Publication date 16 August 2022

Published in Constraints in Computational Logics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bfb0016859

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Grammars and rewriting systems (68Q42)

Recommendations

• Higher-order narrowing with convergent systems
• Conditional narrowing modulo a set of equations
• scientific article; zbMATH DE number 1038528
• A rationale for conditional equational programming
• scientific article; zbMATH DE number 1696604

Cites work

• A logic programming language with lambda-abstraction, function variables, and simple unification
• A rationale for conditional equational programming
• Decidable higher-order unification problems
• Foundations of equational logic programming
• scientific article; zbMATH DE number 3730111 (Why is no real title available?)
• scientific article; zbMATH DE number 1142316 (Why is no real title available?)
• scientific article; zbMATH DE number 3993540 (Why is no real title available?)
• Simplifying conditional term rewriting systems: Unification, termination and confluence
• Termination of combined (rewrite and λ-calculus) systems
• Termination of rewriting
• The Clausal Theory of Types

Cited in

(10)

• Conditional narrowing modulo a set of equations
• Shallow confluence of conditional term rewriting systems
• Sentence-Normalized Conditional Narrowing Modulo in Rewriting Logic and Maude
• scientific article; zbMATH DE number 4060702 (Why is no real title available?)
• scientific article; zbMATH DE number 4090852 (Why is no real title available?)
• scientific article; zbMATH DE number 1088019 (Why is no real title available?)
• Higher-order narrowing with definitional trees
• Higher-order narrowing with convergent systems
• The practice of logical frameworks
• On the confluence of lambda-calculus with conditional rewriting

This page was built for publication: Higher order conditional rewriting and narrowing

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