Regular search spaces and constructive negation

DOI10.1093/logcom/7.3.367zbMath0879.68020OpenAlexW2143206373MaRDI QIDQ4344699

Mario Ornaghi, Alberto Momigliano

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

regular splittingconstructive negationregular search spaces

Mathematics Subject Classification ID

Logic programming (68N17)

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