Login / Signup
Functional first order de definability of LRTp.
José Raymundo Marcial-Romero
José Antonio Hernández Servín
Published in:
LA-NMR (2009)
Keyphrases
</>
finite model theory
first order logic
propositional logic
higher order
fixed point
computer vision
information systems
database theory
quantifier elimination
real time
data sets
genetic algorithm
case study
database systems
query language
inductive logic programming systems