Towards “Propagation = Logic + Control”
From MaRDI portal
Publication:5449595
DOI10.1007/11799573_10zbMath1131.68368arXivcs/0608015MaRDI QIDQ5449595
Roland H. C. Yap, Sebastian Brand
Publication date: 11 March 2008
Published in: Logic Programming (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/cs/0608015
68N17: Logic programming
Related Items