Algebraic and logical semantics for CLP languages with dynamic scheduling
From MaRDI portal
Publication:4352542
DOI10.1016/S0743-1066(96)00127-6zbMath0882.68029MaRDI QIDQ4352542
Publication date: 4 September 1997
Published in: The Journal of Logic Programming (Search for Journal in Brave)
This page was built for publication: Algebraic and logical semantics for CLP languages with dynamic scheduling