JUCS - Journal of Universal Computer Science 11

Research Article

Constructive Suprema

Marian Baroni

10.3217/jucs-011-12-1865

28-12-2005

Unique: 633 | Total: 797

1865-1877

Research Article

Constructive Equivalents of the Uniform Continuity Theorem

Josef Berger

10.3217/jucs-011-12-1878

28-12-2005

Unique: 654 | Total: 821

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: 651 | Total: 792

1884-1900

Research Article

Algorithmic Irreducibility in a Cellular Automata Universe

Gregory Chaitin

10.3217/jucs-011-12-1901

28-12-2005

Unique: 539 | Total: 662

1901-1903

Research Article

Constructive Analysis of Iterated Rational Functions

Jeremy Clark

10.3217/jucs-011-12-1904

28-12-2005

Unique: 623 | Total: 781

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: 598 | Total: 724

1932-1944

Research Article

Axiomatic Classes of Intuitionistic Models

Robert Goldblatt

10.3217/jucs-011-12-1945

28-12-2005

Unique: 626 | Total: 774

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: 531 | Total: 657

1963-1969

Research Article

Nonrandom Sequences between Random Sequences

Peter Hertling

10.3217/jucs-011-12-1970

28-12-2005

Unique: 703 | Total: 875

1970-1985

Research Article

Permutability of Rules for Linear Lattices

Sara Negri

10.3217/jucs-011-12-1986

28-12-2005

Unique: 570 | Total: 723

1986-1995

Research Article

Quotient Spaces and Coequalisers in Formal Topology

Erik Palmgren

10.3217/jucs-011-12-1996

28-12-2005

Unique: 561 | Total: 682

1996-2007

Research Article

Constructive Set Theory and Brouwerian Principles

Michael Rathjen

10.3217/jucs-011-12-2008

28-12-2005

Unique: 608 | Total: 761

2008-2033

Research Article

Constructing Programs or Processes

Steve Reeves, David Streader

10.3217/jucs-011-12-2034

28-12-2005

Unique: 620 | Total: 739

2034-2045

Research Article

Constructive Aspects of Markov Chains

Fred Richman

10.3217/jucs-011-12-2046

28-12-2005

Unique: 551 | Total: 679

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: 615 | Total: 773

2056-2062

Research Article

Functional Dependencies with Counting on Trees

Klaus-Dieter Schewe

10.3217/jucs-011-12-2063

28-12-2005

Unique: 548 | Total: 698

2063-2075

Research Article

What is Continuity, Constructively?

Peter Schuster

10.3217/jucs-011-12-2076

28-12-2005

Unique: 659 | Total: 839

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: 572 | Total: 696

2086-2095

Research Article

Constructive Results on Operator Algebras

Bas Spitters

10.3217/jucs-011-12-2096

28-12-2005

Unique: 521 | Total: 647

2096-2113

Research Article

Hausdorff Measure and Lukasiewicz Languages

Ludwig Staiger

10.3217/jucs-011-12-2114

28-12-2005

Unique: 581 | Total: 724

2114-2124

Research Article

New Bounds for Positive Roots of Polynomials

Doru Ştefănescu

10.3217/jucs-011-12-2125

28-12-2005

Unique: 605 | Total: 739

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: 602 | Total: 777

2132-2141

Research Article

Perhaps the Intermediate Value Theorem

Wim Veldman

10.3217/jucs-011-12-2142

28-12-2005

Unique: 566 | Total: 688

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: 569 | Total: 696

2159-2164

Research Article

A Constructive Approach to Sylvester's Conjecture

Jan Plato

10.3217/jucs-011-12-2165

28-12-2005

Unique: 550 | Total: 671

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

2179-2191