5 citations · 5 across the 4 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2016
A Framework for Algebraic Characterizations in Recursive Analysis
Olivier Bournez, Walid Gomaa, Emmanuel Hainry
Algebraic characterizations of the computational aspects of functions defined over the real numbers provide very effective tool to understand what computability and complexity over…
cs.LO2014
Computability and Complexity over the Product Topology of Real Numbers
Walid Gomaa
Kawamura and Cook have developed a framework for studying the computability and complexity theoretic problems over "large" topological spaces. This framework has been applied to st…