Implicit Definability of Subfields.

Kenji Fukuzaki Akito Tsuboi

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

Keyphrases

fixed point
propositional logic
case study
image sequences
feature extraction
trade off