Generalized quantifier and a bounded arithmetic theory for LOGCFL.

Published in: Arch. Math. Log. (2007)

Keyphrases

databases
theoretical framework
theoretical basis
formal theory
quantifier elimination
quantifier free
real time
neural network
information technology
fuzzy sets
computational model
interval arithmetic