Loop checking and negation

DOI10.1016/0743-1066(93)90017-BMaRDI QIDQ4036285zbMATH OpenFDO

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)