Testable and untestable classes of first-order formulae.

Charles Jordan Thomas Zeugmann

Published in: J. Comput. Syst. Sci. (2012)

Keyphrases

higher order
horn clauses
databases
finite model theory
first order logic
information systems
decision diagrams
real time
genetic algorithm
multiscale
class hierarchy