On the type-definability of the binding group in simple theories.

Bradd Hart Ziv Shami

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

Keyphrases

theoretical framework
fixed point
multimedia
real time
information technology
databases
artificial intelligence
computer vision
three dimensional
objective function
hidden markov models