Automating induction for solving Horn clauses

From MaRDI portal
Publication:2164260

DOI10.1007/978-3-319-63390-9_30zbMath1494.68064arXiv1610.06768OpenAlexW2545358040MaRDI QIDQ2164260

Hiroki Sakamoto, Hiroshi Unno, Sho Torii

Publication date: 12 August 2022

Full work available at URL: https://arxiv.org/abs/1610.06768




Related Items (17)




This page was built for publication: Automating induction for solving Horn clauses