Simultaneous checking of completeness and ground confluence for algebraic specifications
From MaRDI portal
Publication:2946578
DOI10.1145/1507244.1507250zbMath1351.68171MaRDI QIDQ2946578
Publication date: 17 September 2015
Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/1507244.1507250
completeness; algebraic specifications; parameterization; term rewriting systems; automated deduction; ground confluence
Related Items
Improving rewriting induction approach for proving ground confluence, Mechanically certifying formula-based Noetherian induction reasoning, On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories, Ground confluence of order-sorted conditional specifications modulo axioms