Login / Signup

Definability Via Enumerations.

Ivan N. Soskov
Published in: J. Symb. Log. (1989)
Keyphrases
  • fixed point
  • propositional logic
  • finite model theory
  • database theory
  • database
  • image processing
  • search algorithm
  • object recognition
  • first order logic