CERES for First-Order Schemata

Cvetan Dunchev Alexander Leitsch Mikheil Rukhaia Daniel Weller

Published in: CoRR (2013)

Keyphrases

higher order
first order logic
functional dependencies
quantifier elimination
real time
term rewriting
stochastic dominance
general logic programs
intermediate representations
database
data sets
social networks
computer vision
high level
hidden markov models
conditional logic