A Computation of the Maximal Order Type of the Term Ordering on Finite Multisets.

Andreas Weiermann

Published in: CiE (2009)

Keyphrases

genetic algorithm
website
evolutionary algorithm
logic programs
decision trees
multiscale
learning environment
total order