Enumerating outer narrowing derivations for constructor-based term rewriting systems

DOI10.1016/S0747-7171(89)80015-XzbMATH Open0678.68099OpenAlexW1986964021MaRDI QIDQ1124376FDOQ1124376

Authors: Jia-Huai You 

Publication date: 1989

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0747-7171(89)80015-x

Recommendations

• scientific article; zbMATH DE number 4060700
• Narrowing directed by a graph of terms
• scientific article; zbMATH DE number 969074
• S-narrowing for constructor systems
• scientific article; zbMATH DE number 3960989

zbMATH Keywords

equational theoriesmatching problemNarrowingequational logic programs

Mathematics Subject Classification ID

Thue and Post systems, etc. (03D03) Abstract data types; algebraic specification (68Q65)

Cites Work

• An Efficient Unification Algorithm
• Title not available (Why is that?)
• Computing in systems described by equations
• Automated Theorem-Proving for Theories with Simplifiers Commutativity, and Associativity
• Basic narrowing revisited
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Equality, types, modules, and (why not?) generics for logic programming
• Title not available (Why is that?)
• Computing with rewrite systems
• Extended unification algorithms for the integration of functional programming into logic programming
• Title not available (Why is that?)
• A class of confluent term rewriting systems and unification

Cited In (5)

• Lazy narrowing: strong completeness and eager variable elimination (extended abstract)
• Completeness results for basic narrowing
• Title not available (Why is that?)
• A debugging scheme for functional logic programs
• Lazy narrowing: strong completeness and eager variable elimination

This page was built for publication: Enumerating outer narrowing derivations for constructor-based term rewriting systems

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