On Termination of Binary CLP Programs
From MaRDI portal
Publication:5458805
DOI10.1007/11506676_15zbMath1134.68336MaRDI QIDQ5458805
Alexander Serebrenik, Fred Mesnard
Publication date: 24 April 2008
Published in: Logic Based Program Synthesis and Transformation (Search for Journal in Brave)
Full work available at URL: https://lirias.kuleuven.be/handle/123456789/134454
68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
68N17: Logic programming
Related Items