State-space problem-reduction, and theorem proving—some relationships

DOI10.1145/360666.360672zbMath0323.68054OpenAlexW2017894584MaRDI QIDQ4086735

Gordon J. VanderBrug, Jack Minker

Publication date: 1975

Published in: Communications of the ACM (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/360666.360672

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Pattern recognition, speech recognition (68T10)

Related Items

A general heuristic bottom-up procedure for searching AND/OR graphs, The Earley algorithm as a problem representation, Generalized AND/OR graphs, Semantics in problem representation and search, Problem representations and formal properties of heuristic search, An integrated model of problem solver, Representations of the language recognition problem for a theorem prover