Login / Signup
Efficiently Simulating Higher-Order Arithmetic by a First-Order Theory Modulo
Guillaume Burel
Published in:
Log. Methods Comput. Sci. (2011)
Keyphrases
</>
higher order
high order
natural images
theoretical basis
multiscale
pairwise
knowledge base
database
first order logic
theoretical foundation
low order
theoretical framework
quantifier free
horn theories
quantifier elimination
lower order
computational model
information retrieval
neural network