A Sharp Version of the Bounded Matijasevich Conjecture and the End-Extension Problem.

Zofia Adamowicz

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

Keyphrases

high quality
real world
real time
information retrieval
learning algorithm
computer vision
search algorithm
preprocessing
relational databases