Completion for constrained term rewriting systems

DOI10.1007/3-540-56393-8_31MaRDI QIDQ5881204zbMATH OpenOpenAlexFDO

Authors Charles Hoot

Publication date 9 March 2023

Published in Conditional Term Rewriting Systems (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• Completion for logically constrained rewriting
• Sufficient completeness verification for conditional and constrained TRS
• Completion of rewrite systems with membership constraints
• Completion of rewrite systems with membership constraints. II: Constraint solving
• Completion of rewrite systems with membership constraints. I: Deduction rules

Cites work

• Equational problems and disunification
• scientific article; zbMATH DE number 4092756 (Why is no real title available?)
• scientific article; zbMATH DE number 3299786 (Why is no real title available?)
• The substitutional framework for sorted deduction: Fundamental results on hybrid reasoning
• Tree acceptors and some of their applications

Cited in

(18)

• On sufficient-completeness and related properties of term rewriting systems
• Rewrite method for theorem proving in first order theory with equality
• Completion of rewrite systems with membership constraints. I: Deduction rules
• Completion of rewrite systems with membership constraints. II: Constraint solving
• Congruential complements of ground term rewrite systems
• A Completion Method to Decide Reachability in Rewrite Systems
• scientific article; zbMATH DE number 3890721 (Why is no real title available?)
• scientific article; zbMATH DE number 4164136 (Why is no real title available?)
• Multi-completion with termination tools
• On context-free rewriting with a simple restriction and its computational completeness
• scientific article; zbMATH DE number 4078851 (Why is no real title available?)
• Sufficient completeness verification for conditional and constrained TRS
• scientific article; zbMATH DE number 1222433 (Why is no real title available?)
• Confluence of prefix-constrained rewrite systems
• Completion for logically constrained rewriting
• Redundancy criteria for constrained completion
• Completion of rewrite systems with membership constraints
• Redundancy criteria for constrained completion

This page was built for publication: Completion for constrained term rewriting systems

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