Interval Orders and Reverse Mathematics.

Alberto Marcone

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

Keyphrases

computer science
type fuzzy logic systems
fuzzy sets
computer assisted instruction
interval data
total order
computer algebra
information retrieval
learning algorithm
artificial intelligence
image sequences
multiscale
cooperative
evolutionary algorithm
dynamic programming
computer assisted learning