A Note on Conservativity Relations among Bounded Arithmetic Theories.

Russell Impagliazzo Jan Krajícek

Published in: Math. Log. Q. (2002)

Keyphrases

theoretical framework
databases
neural network
artificial intelligence
decision trees
semantic relations
website
logic programs
integrity constraints
temporal relations
arithmetic operations