Login / Signup
Interpolation Theorems, Lower Bounds for Proof Systems, and Independence Results for Bounded Arithmetic.
Jan Krajícek
Published in:
J. Symb. Log. (1997)
Keyphrases
</>
lower bound
upper bound
management system
information systems
web services
distributed systems
complex systems
image interpolation