Login / Signup

Exact unprovability results for compound well-quasi-ordered combinatorial classes.

Andrey Bovykin
Published in: Ann. Pure Appl. Log. (2009)
Keyphrases
  • real time
  • database
  • databases
  • real world
  • knowledge base
  • feature space