In this issue

Papers published: 13

Total pages: 266

Printed version: Paperback

Unique views: 4559

Total views: 5591

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: 278 | Total: 330  | 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: 419 | Total: 506  | 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: 349 | Total: 413  | 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: 357 | Total: 441  | 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: 299 | Total: 379  | 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: 315 | Total: 381  | 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: 303 | Total: 361  | 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: 370 | Total: 458  | 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: 409 | Total: 511  | 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: 314 | Total: 389  | 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: 390 | Total: 476  | 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: 352 | Total: 438  | 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: 404 | Total: 508  | Access Period:
 2733-2753
HTML
XML
PDF

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

OK