Conservations of First-order Reflections.

Published in: J. Symb. Log. (2014)

Keyphrases

first order logic
higher order
quantifier elimination
horn clauses
term rewriting
stochastic dominance
real world
genetic algorithm
information systems
e learning
expert systems
decision diagrams