In this issue

Papers published: 13

Total pages: 266

Printed version: Paperback

Unique views: 4929

Total views: 6058

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: 299 | Total: 356  | 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: 445 | Total: 534  | 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: 373 | Total: 441  | 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: 383 | Total: 477  | 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: 329 | Total: 414  | 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: 344 | Total: 420  | 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: 330 | Total: 389  | 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: 421 | Total: 520  | 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: 432 | Total: 546  | 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: 344 | Total: 431  | 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: 416 | Total: 511  | 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: 378 | Total: 471  | 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: 435 | Total: 548  | Access Period:
 2733-2753
HTML
XML
PDF

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

OK