On Forking and Definability of Types in some DP-Minimal Theories.

Pierre Simon Sergei Starchenko

Published in: J. Symb. Log. (2014)

Keyphrases

dynamic programming
fixed point
propositional logic
databases
machine learning
genetic algorithm
artificial intelligence
computer vision
three dimensional
multiscale
evolutionary algorithm