default search action

• combined dblp search
• author search
• venue search
• publication search

Authors:

• no matches

• 

Venues:

• no matches

• 

Publications:

search using CompleteSearch

Universität Trier

TR 96-44

• 
  Vasco Brattka:
  Computable Invariance.
• 
  Corine Ceola:
  Decidability of the graph of a map in the model of Blum, Shub and Smale.
• 
  Peter Hertling:
  Computable Real Functions: Type 1 Computability Versus Type 2 Computability.
• 
  Ker-I Ko:
  Fractals and Complexity.
• 
  Klaus Meer:
  On diagonal sets in uncountable structures.
• 
  Norbert Th. Müller:
  Towards a real Real RAM: a Prototype using C++.
• 
  Wilson Rosa de Oliveira:
  Program Schemes over Continuous Algebras.
• 
  Marian Boykan Pour-El, Ning Zhong:
  The Wave Equation with Computable Initial Data Whose Unique Solution is Nowhere Computable.
• 
  Marcel K. Richter, Kam-Chau Wong:
  Computable Economic Analysis.
• 
  Matthias Schröder:
  Fast Online Real Multiplication.
• 
  Klaus Weihrauch:
  Computability on the probability measures on the Borel sets of the unit interval.
• 
  Klaus Weihrauch, Xizhong Zheng:
  Computability on Continuous, Lower Semi-Continuous and Upper Semi-Continuous Real Functions.

data released under the ODC-BY 1.0 license. See also our legal information page

last updated on 2015-03-02 23:54 CET by the dblp team