C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Kolmogorov Complexity, Circuits, and the Strength of Formal Theories of Arithmetic.
Eric Allender
George Davie
Luke Friedman
Samuel Hopkins
Iddo Tzameret
Published in:
Electron. Colloquium Comput. Complex. (2012)
Keyphrases
</>
kolmogorov complexity
inductive inference
formal models
formal model
high speed
ontological engineering
formal specification
analog vlsi
digital circuits
formal methods
arithmetic operations
complexity measures
design theory
analog circuits