Borel Quasi-Orderings in Subsystems of Second-Order Arithmetic.

Alberto Marcone

Published in: Ann. Pure Appl. Log. (1991)

Keyphrases

higher order
markov decision processes
arithmetic operations
real time
fourth order
real world
high order
floating point
database
directional derivatives