collaborators

1 paper

cs.LO2023

Enumerating Error Bounded Polytime Algorithms Through Arithmetical Theories

Melissa Antonelli, Ugo Dal Lago, Davide Davoli +2

We consider a minimal extension of the language of arithmetic, such that the bounded formulas provably total in a suitably-defined theory à la Buss (expressed in this new language)…