Login / Signup
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