Structure and Definability in General Bounded Arithmetic Theories.

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

Keyphrases

special case
database
real time
expert systems
theoretical framework
closely related
network structure
structural information
structural properties
geometric structure