CCA - researchr publication

researchr

You are not signed in
Sign in
Sign up

CCA. 1996.

Conference: cca

Abstract is missing.

Program Schemes over Continuous AlgebrasWilson Rosa de Oliveira. [doi]

Towards a real Real RAM: a Prototype using C++Norbert Th. Müller. [doi]

Decidability of the graph of a map in the model of Blum, Shub and SmaleCorine Ceola. [doi]

Computable InvarianceVasco Brattka. [doi]

Computable Real Functions: Type 1 Computability Versus Type 2 ComputabilityPeter Hertling. [doi]

Fast Online Real MultiplicationMatthias Schröder. [doi]

Computability on Continuous, Lower Semi-Continuous and Upper Semi-Continuous Real FunctionsKlaus Weihrauch, Xizhong Zheng. [doi]

On diagonal sets in uncountable structuresKlaus Meer. [doi]

Computability on the probability measures on the Borel sets of the unit intervalKlaus Weihrauch. [doi]

Fractals and ComplexityKer-I Ko. [doi]

The Wave Equation with Computable Initial Data Whose Unique Solution is Nowhere ComputableMarian Boykan Pour-El, Ning Zhong. [doi]

runs on WebDSL