Coding in the existential theory of concatenation.

J. Richard Büchi Steven Senger

Published in: Arch. Math. Log. (1987)

Keyphrases

theoretical framework
coding scheme
theoretical basis
computational model
data sets
image processing
image coding
theoretical foundation