On the Relationship Between Matiyasevich's and Smorynski's Theorems.

Agnieszka Peszek Apoloniusz Tyszka

Published in: Sci. Ann. Comput. Sci. (2019)

Keyphrases

digital topology
pattern recognition
sufficient conditions
databases
learning algorithm
high level
database systems
image analysis
response time