Improved Termination Analysis of CHR Using Self-sustainability Analysis
From MaRDI portal
Publication:4909324
DOI10.1007/978-3-642-32211-2_13zbMath1377.68065MaRDI QIDQ4909324
Paolo Pilozzi, Danny De Schreye
Publication date: 13 March 2013
Published in: Logic-Based Program Synthesis and Transformation (Search for Journal in Brave)
Full work available at URL: https://lirias.kuleuven.be/handle/123456789/310615
68N17: Logic programming
Related Items