Conditional confluence (system description)

DOI10.1007/978-3-319-08918-8_31MaRDI QIDQ5170836zbMATH OpenOpenAlexFDO

Authors Thomas Sternagel, Aart Middeldorp

Publication date 24 July 2014

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-08918-8_31

zbMATH Keywords

automationconditional term rewritingconfluence

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• CSI -- a confluence tool
• CoLL: a confluence tool for left-linear term rewrite systems
• scientific article; zbMATH DE number 4090848
• Certifying confluence of quasi-decreasing strongly deterministic conditional term rewrite systems
• Confluence of terminating conditional rewrite systems revisited

Cited in

(16)

• The 2D dependency pair framework for conditional rewrite systems. I: Definition and basic processors
• The 2D dependency pair framework for conditional rewrite systems. II: Advanced processors and implementation techniques
• Certified equational reasoning via ordered completion
• CSI: new evidence -- a progress report
• Conditional Confluence
• Nominal confluence tool
• Formalizing soundness and completeness of unravelings
• Complexity of conditional term rewriting
• CoLL: a confluence tool for left-linear term rewrite systems
• Local Confluence for Rules with Nested Application Conditions
• Narrowing trees for syntactically deterministic conditional term rewriting systems
• Extending Maximal Completion (Invited Talk)
• CSI -- a confluence tool
• On Ground Convergence and Completeness of Conditional Equational Program Hierarchies
• A Critical Pair Criterion for Level-Commutation of Conditional Term Rewriting Systems
• Algebra of self-replication

Describes a project that uses

Uses Software

• CSI
• Saigawa

This page was built for publication: Conditional confluence (system description)

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