Undecidable Extensions of Skolem Arithmetic.

Alexis Bès Denis Richard

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

Keyphrases

first order logic
sufficient conditions
efficient implementation
arithmetic operations
computer vision
lower bound
floating point
real time
data mining
machine learning
social networks
decision making
hidden markov models
np complete
expressive power