Complexity Bounds on Proofs.

William S. Hatcher Bernard R. Hodgson

Published in: J. Symb. Log. (1981)

Keyphrases

complexity bounds
worst case
theorem proving
query containment
constraint networks
decision procedures
database
schema mappings
theorem prover
constraint satisfaction problems
data integration