Primitive recursive reverse mathematics.

Nikolay Bazhenov Marta Fiori-Carones Lu Liu Alexander G. Melnikov

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

Keyphrases

datalog programs
high level
feature selection
recursive functions
computer algebra
real time
data sets
learning algorithm
multiscale
cooperative
computer science