Improving rewriting induction approach for proving ground confluence
From MaRDI portal
Publication:5111302
DOI10.4230/LIPICS.FSCD.2017.7zbMATH Open1434.68215OpenAlexW2758285181MaRDI QIDQ5111302FDOQ5111302
Yoshihito Toyama, Y. Kimura, Takahito Aoto
Publication date: 26 May 2020
Full work available at URL: http://doi.org/10.4230/LIPIcs.FSCD.2017.7
Grammars and rewriting systems (68Q42) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- On sufficient-completeness and related properties of term rewriting systems
- Tools for proving inductive equalities, relative completeness, and \(\omega\)-completeness
- Confluence by decreasing diagrams
- Proving Confluence of Term Rewriting Systems Automatically
- Deductive and inductive synthesis of equational programs
- Simultaneous checking of completeness and ground confluence for algebraic specifications
- Automated Mathematical Induction
- Term rewriting induction
- Disproving Confluence of Term Rewriting Systems by Interpretation and Ordering
- Proving ground confluence and inductive validity in constructor based equational specifications
- Ground Confluence Prover based on Rewriting Induction
Cited In (1)
Recommendations
This page was built for publication: Improving rewriting induction approach for proving ground confluence
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5111302)
