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