Lazy narrowing: strong completeness and eager variable elimination (extended abstract)

DOI10.1007/3-540-59293-8_209MaRDI QIDQ5096745zbMATH OpenOpenAlexFDO

Authors Satoshi Okui, Aart Middeldorp, Tetsuo Ida

Publication date 18 August 2022

Published in TAPSOFT '95: Theory and Practice of Software Development (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• Lazy narrowing: strong completeness and eager variable elimination
• scientific article; zbMATH DE number 1696603
• Completeness results for basic narrowing
• A deterministic lazy narrowing calculus
• Publication:4941932

Cites work

• scientific article; zbMATH DE number 4047179 (Why is no real title available?)
• scientific article; zbMATH DE number 3688776 (Why is no real title available?)
• scientific article; zbMATH DE number 108365 (Why is no real title available?)
• scientific article; zbMATH DE number 1348470 (Why is no real title available?)
• scientific article; zbMATH DE number 599028 (Why is no real title available?)
• scientific article; zbMATH DE number 1142316 (Why is no real title available?)
• A proof theory for general unification
• A refined version of general \(E\)-unification
• An Efficient Unification Algorithm
• Automated Theorem-Proving for Theories with Simplifiers Commutativity, and Associativity
• Complete sets of transformations for general E-unification
• Completeness results for basic narrowing
• Enumerating outer narrowing derivations for constructor-based term rewriting systems
• Foundations of equational logic programming
• Improving transformation systems for general E-unification
• Lazy narrowing: strong completeness and eager variable elimination
• Proving termination with multiset orderings
• The integration of functions into logic programming: From theory to practice

Cited in

(3)

• General \(E\)-unification with eager variable elimination and a nice cycle rule
• scientific article; zbMATH DE number 1696603 (Why is no real title available?)
• Lazy narrowing: strong completeness and eager variable elimination

This page was built for publication: Lazy narrowing: strong completeness and eager variable elimination (extended abstract)

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