Invariance and Definability, with and without Equality.

Denis Bonnay Fredrik Engström

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

Keyphrases

fixed point
propositional logic
neural network
invariant features
view invariant action recognition
image transformations
category recognition
real time
database systems
multi agent
object recognition
fixpoint
invariant properties
invariant recognition
finite model theory