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