Clausal logic and logic programming in algebraic domains

From MaRDI portal
Publication:1854478

DOI10.1006/inco.2001.3073zbMath1005.68094OpenAlexW2022476135MaRDI QIDQ1854478

Yanyan Li

Publication date: 14 January 2003

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/547711c938458390589d182a29522b26aefdd603




Related Items (14)



Cites Work




This page was built for publication: Clausal logic and logic programming in algebraic domains