Reverse mathematics and the equivalence of definitions for well and better quasi-orders.

Peter Cholak Alberto Marcone Reed Solomon

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

Keyphrases

computer science
data model
databases
computer vision
computer assisted learning
data sets
neural network
information retrieval
information systems
case study
special case
supply chain
grade students
computer algebra systems