JUCS - Journal of Universal Computer Science 11

Research Article

Constructive Suprema

Marian Baroni

10.3217/jucs-011-12-1865

28-12-2005

Unique: 516 | Total: 641

1865-1877

Research Article

Constructive Equivalents of the Uniform Continuity Theorem

Josef Berger

10.3217/jucs-011-12-1878

28-12-2005

Unique: 544 | Total: 651

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: 553 | Total: 639

1884-1900

Research Article

Algorithmic Irreducibility in a Cellular Automata Universe

Gregory Chaitin

10.3217/jucs-011-12-1901

28-12-2005

Unique: 463 | Total: 541

1901-1903

Research Article

Constructive Analysis of Iterated Rational Functions

Jeremy Clark

10.3217/jucs-011-12-1904

28-12-2005

Unique: 508 | Total: 610

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: 503 | Total: 587

1932-1944

Research Article

Axiomatic Classes of Intuitionistic Models

Robert Goldblatt

10.3217/jucs-011-12-1945

28-12-2005

Unique: 535 | Total: 641

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: 457 | Total: 536

1963-1969

Research Article

Nonrandom Sequences between Random Sequences

Peter Hertling

10.3217/jucs-011-12-1970

28-12-2005

Unique: 523 | Total: 640

1970-1985

Research Article

Permutability of Rules for Linear Lattices

Sara Negri

10.3217/jucs-011-12-1986

28-12-2005

Unique: 495 | Total: 599

1986-1995

Research Article

Quotient Spaces and Coequalisers in Formal Topology

Erik Palmgren

10.3217/jucs-011-12-1996

28-12-2005

Unique: 477 | Total: 556

1996-2007

Research Article

Constructive Set Theory and Brouwerian Principles

Michael Rathjen

10.3217/jucs-011-12-2008

28-12-2005

Unique: 490 | Total: 591

2008-2033

Research Article

Constructing Programs or Processes

Steve Reeves, David Streader

10.3217/jucs-011-12-2034

28-12-2005

Unique: 525 | Total: 604

2034-2045

Research Article

Constructive Aspects of Markov Chains

Fred Richman

10.3217/jucs-011-12-2046

28-12-2005

Unique: 481 | Total: 568

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: 532 | Total: 637

2056-2062

Research Article

Functional Dependencies with Counting on Trees

Klaus-Dieter Schewe

10.3217/jucs-011-12-2063

28-12-2005

Unique: 467 | Total: 573

2063-2075

Research Article

What is Continuity, Constructively?

Peter Schuster

10.3217/jucs-011-12-2076

28-12-2005

Unique: 478 | Total: 580

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: 481 | Total: 564

2086-2095

Research Article

Constructive Results on Operator Algebras

Bas Spitters

10.3217/jucs-011-12-2096

28-12-2005

Unique: 446 | Total: 532

2096-2113

Research Article

Hausdorff Measure and Lukasiewicz Languages

Ludwig Staiger

10.3217/jucs-011-12-2114

28-12-2005

Unique: 490 | Total: 590

2114-2124

Research Article

New Bounds for Positive Roots of Polynomials

Doru Ştefănescu

10.3217/jucs-011-12-2125

28-12-2005

Unique: 511 | Total: 597

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: 509 | Total: 623

2132-2141

Research Article

Perhaps the Intermediate Value Theorem

Wim Veldman

10.3217/jucs-011-12-2142

28-12-2005

Unique: 471 | Total: 553

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: 485 | Total: 568

2159-2164

Research Article

A Constructive Approach to Sylvester's Conjecture

Jan Plato

10.3217/jucs-011-12-2165

28-12-2005

Unique: 449 | Total: 527

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: 528 | Total: 617

2179-2191