An order-theoretic characterization of the Howard-Bachmann-hierarchy.

Jeroen Van der Meeren Michael Rathjen Andreas Weiermann

Published in: Arch. Math. Log. (2017)

Keyphrases

data sets
computer vision
cooperative
search algorithm
databases
real world
information retrieval
case study
database systems
learning environment