Undecidable Extensions of Büchi Arithmetic and Cobham-Semënov Theorem.

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

Keyphrases

sufficient conditions
default logic
von neumann
arithmetic operations
data mining
search algorithm
neural network
real world
machine learning
np complete
datalog programs