Computability of probability measures and Martin-Löf randomness over metric spaces von Hoyrup, Mathieu, Rojas, Cristóbal

Volltext

Degrees of Non-computability of Homeomorphism Types of Polish Spaces von Hoyrup, Mathieu, Kihara, Takayuki, Selivanov, Victor

Volltext

The fixed-point property for represented spaces von Hoyrup, Mathieu

Volltext

Characterizing polynomial time complexity of stream programs using interpretations von Férée, Hugo, Hainry, Emmanuel, Hoyrup, Mathieu, Péchoux, Romain

Volltext

Genericity of Weakly Computable Objects von Hoyrup, Mathieu

Volltext

Randomness on Computable Probability Spaces—A Dynamical Point of View von Gács, Peter, Hoyrup, Mathieu, Rojas, Cristóbal

Volltext

COMPARING COMPUTABILITY IN TWO TOPOLOGIES von AMIR, DJAMEL EDDINE, HOYRUP, MATHIEU

Volltext

Effective symbolic dynamics, random points, statistical behavior, complexity and entropy von Galatolo, Stefano, Hoyrup, Mathieu, Rojas, Cristóbal

Volltext

The surjection property and computable type von Amir, Djamel Eddine, Hoyrup, Mathieu

Volltext

DEGREE SPECTRA OF HOMEOMORPHISM TYPE OF COMPACT POLISH SPACES von HOYRUP, MATHIEU, KIHARA, TAKAYUKI, SELIVANOV, VICTOR

Volltext

Computability of the ergodic decomposition von Hoyrup, Mathieu

Volltext

Realizing semicomputable simplices by computable dynamical systems von Coronel, Daniel, Frank, Alexander, Hoyrup, Mathieu, Rojas, Cristóbal

Volltext

Degree Spectra of Homeomorphism Types of Compact Polish Spaces von Hoyrup, Mathieu, Kihara, Takayuki, Selivanov, Victor

Volltext

The Typical Constructible Object von Hoyrup, Mathieu

Volltext

On the Information Carried by Programs About the Objects they Compute von Hoyrup, Mathieu, Rojas, Cristóbal

Volltext

Layerwise Computability and Image Randomness von Bienvenu, Laurent, Hoyrup, Mathieu, Shen, Alexander

Volltext

Computing the speed of convergence of ergodic averages and pseudorandom points in computable dynamical systems von Galatolo, Stefano, Hoyrup, Mathieu, Rojas, Cristóbal

Volltext

Topological Analysis of Representations von Hoyrup, Mathieu

Volltext

Interpretation of Stream Programs: Characterizing Type 2 Polynomial Time Complexity von Férée, Hugo, Hainry, Emmanuel, Hoyrup, Mathieu, Péchoux, Romain

Volltext

Analytical properties of resource-bounded real functionals von Férée, Hugo, Gomaa, Walid, Hoyrup, Mathieu

Volltext