Simultaneous checking of completeness and ground confluence for algebraic specifications
From MaRDI portal
Publication:2946578
DOI10.1145/1507244.1507250zbMath1351.68171OpenAlexW2020190447MaRDI 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
completenessalgebraic specificationsparameterizationterm rewriting systemsautomated deductionground confluence
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (4)
On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories ⋮ Mechanically certifying formula-based Noetherian induction reasoning ⋮ Ground confluence of order-sorted conditional specifications modulo axioms ⋮ Improving rewriting induction approach for proving ground confluence
This page was built for publication: Simultaneous checking of completeness and ground confluence for algebraic specifications
