In this issue

Papers published: 13

Total pages: 266

Printed version: Paperback

Unique views: 4798

Total views: 5911

open access

Go to issue

« Previous
Issue 16(18)
 Next »
Issue No
from 0 to 30
Number No
JUCS - Journal of Universal Computer Science 16(18) (2010)
Sort by:
Select:   All   None
Download:
Citation
XML
PDF
Export format

Download
Editorial
Computability and Complexity in Analysis
Andrej Bauer, Peter Hertling, Ker-I Ko
10.3217/jucs-016-18
 28-09-2010
 Unique: 287 | Total: 343  | Access Period:
 2495-2495
HTML
XML
PDF
Research Article
Canonical Effective Subalgebras of Classical Algebras as Constructive Metric Completions
Andrej Bauer, Jens Blanck
10.3217/jucs-016-18-2496
 28-09-2010
 Unique: 436 | Total: 525  | Access Period:
 2496-2522
HTML
XML
PDF
Research Article
A Constructive Study of Landau's Summability Theorem
Josef Berger, Douglas Bridges
10.3217/jucs-016-18-2523
 28-09-2010
 Unique: 365 | Total: 432  | Access Period:
 2523-2534
HTML
XML
PDF
Research Article
Realisability for Induction and Coinduction with Applications to Constructive Analysis
Ulrich Berger
10.3217/jucs-016-18-2535
 28-09-2010
 Unique: 371 | Total: 463  | Access Period:
 2535-2555
HTML
XML
PDF
Research Article
On Choice Principles and Fan Theorems
Hannes Diener, Peter Schuster
10.3217/jucs-016-18-2556
 28-09-2010
 Unique: 318 | Total: 403  | Access Period:
 2556-2562
HTML
XML
PDF
Research Article
The Separation of Relativized Versions of P and DNP for the Ring of the Reals
Christine Gaßner
10.3217/jucs-016-18-2563
 28-09-2010
 Unique: 332 | Total: 403  | Access Period:
 2563-2568
HTML
XML
PDF
Research Article
Isometries and Computability Structures
Zvonko Iljazović
10.3217/jucs-016-18-2569
 28-09-2010
 Unique: 318 | Total: 377  | Access Period:
 2569-2596
HTML
XML
PDF
Research Article
Semantics of Query-Driven Communication of Exact Values
Michal Konečný, Amin Farjudian
10.3217/jucs-016-18-2597
 28-09-2010
 Unique: 414 | Total: 511  | Access Period:
 2597-2628
HTML
XML
PDF
Research Article
Compositional Semantics of Dataflow Networks with Query-Driven Communication of Exact Values
Michal Konečný, Amin Farjudian
10.3217/jucs-016-18-2629
 28-09-2010
 Unique: 422 | Total: 534  | Access Period:
 2629-2656
HTML
XML
PDF
Research Article
From Computing Sets of Optima, Pareto Sets, and Sets of Nash Equilibria to General Decision-Related Set Computations
Vladik Kreinovich, Bartlomiej Kubica
10.3217/jucs-016-18-2657
 28-09-2010
 Unique: 336 | Total: 421  | Access Period:
 2657-2685
HTML
XML
PDF
Research Article
How Incomputable is Finding Nash Equilibria?
Arno Pauly
10.3217/jucs-016-18-2686
 28-09-2010
 Unique: 407 | Total: 502  | Access Period:
 2686-2710
HTML
XML
PDF
Research Article
A Note on Closed Subsets in Quasi-zero-dimensional Qcb-spaces
Matthias Schröder
10.3217/jucs-016-18-2711
 28-09-2010
 Unique: 368 | Total: 461  | Access Period:
 2711-2732
HTML
XML
PDF
Research Article
Computable Separation in Topology, from T0 to T2
Klaus Weihrauch
10.3217/jucs-016-18-2733
 28-09-2010
 Unique: 424 | Total: 536  | Access Period:
 2733-2753
HTML
XML
PDF

This website uses cookies in order to improve your web experience. Read our Cookies Policy

OK