Sound lemma generation for proving inductive validity of equations
From MaRDI portal
Publication:3165943
DOI10.4230/LIPIcs.FSTTCS.2008.1737zbMath1248.68447OpenAlexW1496894182MaRDI QIDQ3165943
Publication date: 19 October 2012
Full work available at URL: http://subs.emis.de/LIPIcs/frontdoor_164a.html
Related Items
Uses Software