Level-confluence of conditional rewrite systems with extra variables in right-hand sides

DOI10.1007/3-540-59200-8_56MaRDI QIDQ5055830zbMATH OpenOpenAlexFDO

Authors Taro Suzuki, Aart Middeldorp, Tetsuo Ida

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-59200-8_56

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 4090848
• Shallow confluence of conditional term rewriting systems
• scientific article; zbMATH DE number 1497855
• Confluence of the disjoint union of conditional term rewriting systems
• scientific article; zbMATH DE number 1377413

Cites work

• A rationale for conditional equational programming
• Completeness of combinations of conditional constructor systems
• Completeness results for basic narrowing
• Completion-time optimization of rewrite-time goal solving
• Conditional rewrite rules: Confluence and termination
• Generic induction proofs
• scientific article; zbMATH DE number 4053008 (Why is no real title available?)
• scientific article; zbMATH DE number 4090848 (Why is no real title available?)
• scientific article; zbMATH DE number 108434 (Why is no real title available?)
• scientific article; zbMATH DE number 408794 (Why is no real title available?)
• scientific article; zbMATH DE number 1142316 (Why is no real title available?)
• scientific article; zbMATH DE number 1761894 (Why is no real title available?)
• scientific article; zbMATH DE number 1761895 (Why is no real title available?)
• scientific article; zbMATH DE number 1398069 (Why is no real title available?)
• 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

Cited in

(9)

• Maude: specification and programming in rewriting logic
• Shallow confluence of conditional term rewriting systems
• Narrowing trees for syntactically deterministic conditional term rewriting systems
• Confluence of terminating conditional rewrite systems revisited
• Implementing conditional term rewriting by graph rewriting
• Local confluence of conditional and generalized term rewriting systems
• A Critical Pair Criterion for Level-Commutation of Conditional Term Rewriting Systems
• Proving confluence in the confluence framework with confident
• Confluence of almost parallel-closed generalized term rewriting systems

Describes a project that uses

Uses Software

• BABEL
• Kernel-LEAF

This page was built for publication: Level-confluence of conditional rewrite systems with extra variables in right-hand sides

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