Bounded Arithmetic, Proof Complexity and Two Papers of Parikh.

Published in: Ann. Pure Appl. Log. (1999)

Keyphrases

special issue
special section
databases
database
theorem proving
international journal
multiscale
theorem prover
space complexity