JUCS - Journal of Universal Computer Science 11

Research Article

Constructive Suprema

Marian Baroni

10.3217/jucs-011-12-1865

28-12-2005

Unique: 357 | Total: 449

1865-1877

Research Article

Constructive Equivalents of the Uniform Continuity Theorem

Josef Berger

10.3217/jucs-011-12-1878

28-12-2005

Unique: 377 | Total: 435

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: 374 | Total: 429

1884-1900

Research Article

Algorithmic Irreducibility in a Cellular Automata Universe

Gregory Chaitin

10.3217/jucs-011-12-1901

28-12-2005

Unique: 321 | Total: 365

1901-1903

Research Article

Constructive Analysis of Iterated Rational Functions

Jeremy Clark

10.3217/jucs-011-12-1904

28-12-2005

Unique: 339 | Total: 400

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: 346 | Total: 390

1932-1944

Research Article

Axiomatic Classes of Intuitionistic Models

Robert Goldblatt

10.3217/jucs-011-12-1945

28-12-2005

Unique: 373 | Total: 449

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: 299 | Total: 339

1963-1969

Research Article

Nonrandom Sequences between Random Sequences

Peter Hertling

10.3217/jucs-011-12-1970

28-12-2005

Unique: 342 | Total: 432

1970-1985

Research Article

Permutability of Rules for Linear Lattices

Sara Negri

10.3217/jucs-011-12-1986

28-12-2005

Unique: 354 | Total: 417

1986-1995

Research Article

Quotient Spaces and Coequalisers in Formal Topology

Erik Palmgren

10.3217/jucs-011-12-1996

28-12-2005

Unique: 309 | Total: 358

1996-2007

Research Article

Constructive Set Theory and Brouwerian Principles

Michael Rathjen

10.3217/jucs-011-12-2008

28-12-2005

Unique: 336 | Total: 402

2008-2033

Research Article

Constructing Programs or Processes

Steve Reeves, David Streader

10.3217/jucs-011-12-2034

28-12-2005

Unique: 361 | Total: 408

2034-2045

Research Article

Constructive Aspects of Markov Chains

Fred Richman

10.3217/jucs-011-12-2046

28-12-2005

Unique: 325 | Total: 383

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: 347 | Total: 422

2056-2062

Research Article

Functional Dependencies with Counting on Trees

Klaus-Dieter Schewe

10.3217/jucs-011-12-2063

28-12-2005

Unique: 341 | Total: 415

2063-2075

Research Article

What is Continuity, Constructively?

Peter Schuster

10.3217/jucs-011-12-2076

28-12-2005

Unique: 318 | Total: 380

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: 337 | Total: 394

2086-2095

Research Article

Constructive Results on Operator Algebras

Bas Spitters

10.3217/jucs-011-12-2096

28-12-2005

Unique: 316 | Total: 364

2096-2113

Research Article

Hausdorff Measure and Lukasiewicz Languages

Ludwig Staiger

10.3217/jucs-011-12-2114

28-12-2005

Unique: 349 | Total: 411

2114-2124

Research Article

New Bounds for Positive Roots of Polynomials

Doru Ştefănescu

10.3217/jucs-011-12-2125

28-12-2005

Unique: 371 | Total: 422

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: 363 | Total: 433

2132-2141

Research Article

Perhaps the Intermediate Value Theorem

Wim Veldman

10.3217/jucs-011-12-2142

28-12-2005

Unique: 337 | Total: 387

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: 340 | Total: 395

2159-2164

Research Article

A Constructive Approach to Sylvester's Conjecture

Jan Plato

10.3217/jucs-011-12-2165

28-12-2005

Unique: 302 | Total: 347

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: 356 | Total: 415

2179-2191