Regular search spaces and constructive negation

DOI10.1093/LOGCOM/7.3.367MaRDI QIDQ4344699zbMATH OpenOpenAlexFDO

Authors Alberto Momigliano, Mario Ornaghi

Publication date 17 July 1997

Published in Journal Of Logic And Computation (Search for Journal in Brave)

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

zbMATH Keywords

constructive negationregular search spacesregular splitting

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• What is failure? An approach to constructive negation
• Negation as failure as resolution
• scientific article; zbMATH DE number 65758

This page was built for publication: Regular search spaces and constructive negation

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