Counting as integration in feasible analysis

DOI10.1002/MALQ.200510035zbMath1095.03066OpenAlexW2135427238MaRDI QIDQ5485404

Gilda Ferreira, Fernando Ferreira

Publication date: 30 August 2006

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.200510035

zbMATH Keywords

countingintegrationreverse mathematicsFeasible analysis

Mathematics Subject Classification ID

Second- and higher-order arithmetic and fragments (03F35)

Related Items (2)

Bounded theories for polyspace computability ⋮ The counting hierarchy in binary notation

Cites Work

• Unnamed Item
• Unnamed Item

This page was built for publication: Counting as integration in feasible analysis