A note on Fragments of Uniform Reflection in second order Arithmetic.

Emanuele Frittaion

Published in: Bull. Symb. Log. (2022)

Keyphrases

higher order
arithmetic operations
database
multiresolution
floating point
hessian matrix
evolutionary algorithm
real time
databases
image processing
multiscale
expert systems
horizontal fragmentation