Preservation theorems for bounded formulas.

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

Keyphrases

database
neural network
databases
website
case study
multiscale
expert systems
evolutionary algorithm
np hard
horn clauses
real numbers
mathematical formulas
ordered sets