Polytool: Polynomial interpretations as a basis for termination analysis of logic programs
From MaRDI portal
Publication:3087808
DOI10.1017/S1471068410000025zbMath1222.68064MaRDI QIDQ3087808
Could not fetch data.
Publication date: 17 August 2011
Published in: (Search for Journal in Brave)
Could not fetch data.
Could not fetch data.