Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Logical Methods in Computer Science, Special Issue 20

> Home > Journals > Logical Methods in Computer Science

Special Issue for the "Seventh International Conference on Computability and Complexity in Analysis" [CCA 2010]

- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1104-5307
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1104-5307
Dag Normann:
Banach Spaces as Data Types.
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1105-1380
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1105-1380
Wesley Calvert, Ken Kramer, Russell G. Miller:
Noncomputable functions in the Blum-Shub-Smale model.
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1105-3335
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1105-3335
Nazanin Tavana, Klaus Weihrauch:
Turing machines on represented sets, a model of computation for Analysis.
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1106-2769
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1106-2769
Zvonko Iljazovic:
Co-c.e. spheres and cells in computable metric spaces.
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1006-0398-2
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1006-0398-2
Tobias Gärtner, Martin Ziegler:
Real Analytic Machines and Degrees: A Topological View on Algebraic Limiting Computation.
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1106-2993
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1106-2993
Douglas Cenzer, Paul Brodhead, Ferit Toska, Sebastian Wyman:
Algorithmic Randomness and Capacity of Closed Sets.
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1108-3736
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1108-3736
Mahdi Aliakbari, Massoud Pourmahdian:
Computational Models of Certain Hyperspaces of Quasi-metric Spaces.
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1108-0843
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1108-0843
Vassilios Gregoriades:
Computational Models of Certain Hyperspaces of Quasi-metric Spaces.

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.