Non-termination Analysis of Logic Programs Using Types
From MaRDI portal
Publication:3003491
DOI10.1007/978-3-642-20551-4_9zbMath1326.68065MaRDI QIDQ3003491
Publication date: 27 May 2011
Published in: Logic-Based Program Synthesis and Transformation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-20551-4_9
68N17: Logic programming
Related Items
Cites Work