Directed figure codes are decidable.

Michal Kolarz Wlodzimierz Moczurad

Published in: Discret. Math. Theor. Comput. Sci. (2009)

Keyphrases

error correction
first order logic
neural network
special case
datalog programs
error correcting codes
function symbols
computer vision
decision trees
database systems
computational complexity
transitive closure