JUCS - Journal of Universal Computer Science 11

Research Article

Constructive Suprema

Marian Baroni

10.3217/jucs-011-12-1865

28-12-2005

Unique: 93 | Total: 146

1865-1877

Research Article

Constructive Equivalents of the Uniform Continuity Theorem

Josef Berger

10.3217/jucs-011-12-1878

28-12-2005

Unique: 105 | Total: 126

1878-1883

Research Article

Computability of the Spectrum of Self-Adjoint Operators

Vasco Brattka, Ruth Dillhage

10.3217/jucs-011-12-1884

28-12-2005

Unique: 97 | Total: 119

1884-1900

Research Article

Algorithmic Irreducibility in a Cellular Automata Universe

Gregory Chaitin

10.3217/jucs-011-12-1901

28-12-2005

Unique: 92 | Total: 121

1901-1903

Research Article

Constructive Analysis of Iterated Rational Functions

Jeremy Clark

10.3217/jucs-011-12-1904

28-12-2005

Unique: 100 | Total: 125

1904-1931

Research Article

Formal Topology and Constructive Mathematics: the Gelfand and Stone-Yosida Representation Theorems

Thierry Coquand, Bas Spitters

10.3217/jucs-011-12-1932

28-12-2005

Unique: 98 | Total: 121

1932-1944

Research Article

Axiomatic Classes of Intuitionistic Models

Robert Goldblatt

10.3217/jucs-011-12-1945

28-12-2005

Unique: 108 | Total: 151

1945-1962

Research Article

On Firmness of the State Space and Positive Elements of a Banach Algebra

Robin Havea

10.3217/jucs-011-12-1963

28-12-2005

Unique: 92 | Total: 114

1963-1969

Research Article

Nonrandom Sequences between Random Sequences

Peter Hertling

10.3217/jucs-011-12-1970

28-12-2005

Unique: 95 | Total: 155

1970-1985

Research Article

Permutability of Rules for Linear Lattices

Sara Negri

10.3217/jucs-011-12-1986

28-12-2005

Unique: 97 | Total: 121

1986-1995

Research Article

Quotient Spaces and Coequalisers in Formal Topology

Erik Palmgren

10.3217/jucs-011-12-1996

28-12-2005

Unique: 92 | Total: 122

1996-2007

Research Article

Constructive Set Theory and Brouwerian Principles

Michael Rathjen

10.3217/jucs-011-12-2008

28-12-2005

Unique: 103 | Total: 132

2008-2033

Research Article

Constructing Programs or Processes

Steve Reeves, David Streader

10.3217/jucs-011-12-2034

28-12-2005

Unique: 108 | Total: 131

2034-2045

Research Article

Constructive Aspects of Markov Chains

Fred Richman

10.3217/jucs-011-12-2046

28-12-2005

Unique: 97 | Total: 123

2046-2055

Research Article

On the Meaning of Positivity Relations for Regular Formal Spaces

Giovanni Sambin, Giorgio Trentinaglia

10.3217/jucs-011-12-2056

28-12-2005

Unique: 105 | Total: 128

2056-2062

Research Article

Functional Dependencies with Counting on Trees

Klaus-Dieter Schewe

10.3217/jucs-011-12-2063

28-12-2005

Unique: 120 | Total: 170

2063-2075

Research Article

What is Continuity, Constructively?

Peter Schuster

10.3217/jucs-011-12-2076

28-12-2005

Unique: 99 | Total: 119

2076-2085

Research Article

A Direct Proof of the Equivalence between Brouwer's Fan Theorem and König's Lemma with a Uniqueness Hypothesis

Helmut Schwichtenberg

10.3217/jucs-011-12-2086

28-12-2005

Unique: 90 | Total: 124

2086-2095

Research Article

Constructive Results on Operator Algebras

Bas Spitters

10.3217/jucs-011-12-2096

28-12-2005

Unique: 95 | Total: 124

2096-2113

Research Article

Hausdorff Measure and Lukasiewicz Languages

Ludwig Staiger

10.3217/jucs-011-12-2114

28-12-2005

Unique: 97 | Total: 122

2114-2124

Research Article

New Bounds for Positive Roots of Polynomials

Doru Ştefănescu

10.3217/jucs-011-12-2125

28-12-2005

Unique: 102 | Total: 128

2125-2131

Research Article

How the Mathematical Objects Determine the Mathematical Principles

Dirk Van Dalen

10.3217/jucs-011-12-2132

28-12-2005

Unique: 107 | Total: 131

2132-2141

Research Article

Perhaps the Intermediate Value Theorem

Wim Veldman

10.3217/jucs-011-12-2142

28-12-2005

Unique: 101 | Total: 125

2142-2158

Research Article

On Complements of Sets and the Efremovič Condition in Pre-apartness Spaces

Luminita Vîţă

10.3217/jucs-011-12-2159

28-12-2005

Unique: 94 | Total: 111

2159-2164

Research Article

A Constructive Approach to Sylvester's Conjecture

Jan Plato

10.3217/jucs-011-12-2165

28-12-2005

Unique: 89 | Total: 113

2165-2178

Research Article

Sequential Computability of a Function. Effective Fine Space and Limiting Recursion

Mariko Yasugi, Yoshiki Tsujii, Takakazu Mori

10.3217/jucs-011-12-2179

28-12-2005

Unique: 100 | Total: 119

2179-2191