The problem of determining the size of a complete set of reductions

DOI10.1007/BF00243004zbMath0679.68177OpenAlexW2009123821WikidataQ114267084 ScholiaQ114267084MaRDI QIDQ1823016

Larry Wos

Publication date: 1989

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00243004

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

This page was built for publication: The problem of determining the size of a complete set of reductions