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