Login / Signup
Nonstandard Characterizations of Recursive Saturation and Resplendency.
Stuart T. Smith
Published in:
J. Symb. Log. (1987)
Keyphrases
</>
acyclic database schemes
decision trees
search algorithm
multiresolution
logic programs