Highlights of the Rice-Shapiro Theorem in Computable Topology.

Margarita V. Korovina Oleg V. Kudinov

Published in: Ershov Informatics Conference (2017)

Keyphrases

digital topology
topology preservation
database systems
databases
multiscale
topology preserving
von neumann
finite sets
database
data sets
neural network
genetic algorithm
metadata
image processing
video sequences
digital libraries