Login / Signup

Preservation theorems and restricted consistency statements in bounded arithmetic.

Arnold Beckmann
Published in: Ann. Pure Appl. Log. (2004)
Keyphrases
  • consistency checking
  • natural language
  • real time
  • metadata
  • decision trees
  • evolutionary algorithm
  • scheduling problem
  • floating point