Enumerating Error Bounded Polytime Algorithms Through Arithmetical Theories

NOVA Math > NOVA Math > NOVA Math Publications > Enumerating Error Bounded Polytime Algorithms Through Arithmetical Theories

NOVA Math Publications

Algebra and Logic

Proceedings Paper
Antonelli,M;Dal Lago,U;Davoli,D;Oitavem,I;Pistone,P
32ND EACSL ANNUAL CONFERENCE ON COMPUTER SCIENCE LOGIC, CSL 2024
32nd EACSL Annual Conference on Computer Science Logic (CSL)
Leibniz International Proceedings in Informatics
2024
288

10.4230/lipics.csl.2024.10

Enumerating Error Bounded Polytime Algorithms Through Arithmetical Theories

Contacts

Links