Ordinal analyses for monotone and cofinal transfinite inductions.

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

Keyphrases

upper bound
statistical analysis
qualitative decision theory
real time
artificial intelligence
e learning
database systems
multiresolution
logic programs
boolean functions
post hoc