Coding and Definability in Computable Structures.

Antonio Montalbán

Published in: Notre Dame J. Formal Log. (2018)

Keyphrases

coding scheme
propositional logic
database
coding method
real time
data mining
fixed point
distributed video coding