Login / Signup
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