Independence in dynamically scheduled logic languages

DOI10.1007/3-540-61735-3_3zbMath1355.68036OpenAlexW1552645610MaRDI QIDQ2956712

Kim Marriott, Maria Garcia de la Banda, Manuel Hermengildo

Publication date: 19 January 2017

Published in: Algebraic and Logic Programming (Search for Journal in Brave)

Full work available at URL: http://oa.upm.es/55523/

Mathematics Subject Classification ID

Logic programming (68N17)

This page was built for publication: Independence in dynamically scheduled logic languages