Non-termination analysis of logic programs with integer arithmetics

DOI10.1017/S1471068411000159zbMath1222.68068arXiv1109.3256OpenAlexW3099640838MaRDI QIDQ3087440

Could not fetch data.

Publication date: 16 August 2011

Published in: (Search for Journal in Brave)

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

zbMATH Keywords

Could not fetch data.

Mathematics Subject Classification ID

Could not fetch data.