The "Hardest" Natural Decidable Theory.

Sergei G. Vorobyov

Published in: LICS (1997)

Keyphrases

computational model
theoretical framework
theoretical basis
general theory
database
neural network
image processing
information technology
information theory