In this issue

Papers published: 13

Total pages: 266

Printed version: Paperback

Unique views: 4643

Total views: 5702

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: 279 | Total: 333  | 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: 428 | Total: 515  | 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: 355 | Total: 419  | 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: 365 | Total: 454  | 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: 304 | Total: 386  | 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: 320 | Total: 388  | 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: 311 | Total: 369  | 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: 379 | Total: 471  | 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: 417 | Total: 522  | 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: 319 | Total: 398  | 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: 400 | Total: 490  | 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: 357 | Total: 443  | 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: 409 | Total: 514  | Access Period:
 2733-2753
HTML
XML
PDF

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

OK