Omitting types in logic of metric structures.

Ilijas Farah Menachem Magidor

Published in: J. Math. Log. (2018)

Keyphrases

metric space
logic programming
database
real time
neural network
distance function
complex structures
real world
image sequences
multi agent
pairwise
evaluation metrics
multi valued