Automated termination proofs for logic programs by term rewriting

From MaRDI portal
Publication:2946588

DOI10.1145/1614431.1614433zbMath1351.68054arXiv0803.0014OpenAlexW2137327104MaRDI QIDQ2946588

Peter Schneider-Kamp, Alexander Serebrenik, René Thiemann, Jürgen Giesl

Publication date: 17 September 2015

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

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




Related Items (13)




This page was built for publication: Automated termination proofs for logic programs by term rewriting