Second-order and Inductive Definability on Finite Structures.

Michel de Rougemont

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

Keyphrases

higher order
finite sets
learning algorithm
image processing
real time
multi agent
search algorithm
inductive learning
complex structures
structural features
finite automata
fourth order
inductive reasoning