Loop checking and negation

DOI10.1016/0743-1066(93)90017-BzbMATH Open0825.68285MaRDI QIDQ4036285FDOQ4036285

Authors: Roland N. Bol 

Publication date: 16 May 1993

Published in: The Journal of Logic Programming (Search for Journal in Brave)

Mathematics Subject Classification ID

Logic programming (68N17) Theory of compilers and interpreters (68N20)

This page was built for publication: Loop checking and negation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4036285)