Complete First-Order Axiomatization of Finite or Infinite M-extended Trees.

Khalil Djelloul Thi-Bich-Hanh Dao

Published in: WLP (2006)

Keyphrases

real numbers
decision trees
finite sets
higher order
first order logic
finitely representable
genetic algorithm
finite number
finite dimensional
finite automata
tree models
complete axiomatization