In this issue

Papers published: 13

Total pages: 266

Printed version: Paperback

Unique views: 4887

Total views: 6015

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: 296 | Total: 353  | 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: 442 | Total: 531  | 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: 370 | Total: 438  | 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: 379 | Total: 473  | 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: 326 | Total: 411  | 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: 339 | Total: 415  | 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: 327 | Total: 386  | 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: 418 | Total: 517  | 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: 429 | Total: 543  | 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: 341 | Total: 428  | 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: 413 | Total: 508  | 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: 374 | Total: 467  | 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: 433 | Total: 545  | Access Period:
 2733-2753
HTML
XML
PDF

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

OK