JUCS - Journal of Universal Computer Science 11

Research Article

Constructive Suprema

Marian Baroni

10.3217/jucs-011-12-1865

28-12-2005

Unique: 631 | Total: 794

1865-1877

Research Article

Constructive Equivalents of the Uniform Continuity Theorem

Josef Berger

10.3217/jucs-011-12-1878

28-12-2005

Unique: 648 | Total: 812

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: 649 | Total: 787

1884-1900

Research Article

Algorithmic Irreducibility in a Cellular Automata Universe

Gregory Chaitin

10.3217/jucs-011-12-1901

28-12-2005

Unique: 536 | Total: 658

1901-1903

Research Article

Constructive Analysis of Iterated Rational Functions

Jeremy Clark

10.3217/jucs-011-12-1904

28-12-2005

Unique: 619 | Total: 772

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: 597 | Total: 719

1932-1944

Research Article

Axiomatic Classes of Intuitionistic Models

Robert Goldblatt

10.3217/jucs-011-12-1945

28-12-2005

Unique: 622 | Total: 767

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: 527 | Total: 650

1963-1969

Research Article

Nonrandom Sequences between Random Sequences

Peter Hertling

10.3217/jucs-011-12-1970

28-12-2005

Unique: 658 | Total: 819

1970-1985

Research Article

Permutability of Rules for Linear Lattices

Sara Negri

10.3217/jucs-011-12-1986

28-12-2005

Unique: 565 | Total: 713

1986-1995

Research Article

Quotient Spaces and Coequalisers in Formal Topology

Erik Palmgren

10.3217/jucs-011-12-1996

28-12-2005

Unique: 558 | Total: 675

1996-2007

Research Article

Constructive Set Theory and Brouwerian Principles

Michael Rathjen

10.3217/jucs-011-12-2008

28-12-2005

Unique: 604 | Total: 754

2008-2033

Research Article

Constructing Programs or Processes

Steve Reeves, David Streader

10.3217/jucs-011-12-2034

28-12-2005

Unique: 615 | Total: 731

2034-2045

Research Article

Constructive Aspects of Markov Chains

Fred Richman

10.3217/jucs-011-12-2046

28-12-2005

Unique: 548 | Total: 674

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: 612 | Total: 768

2056-2062

Research Article

Functional Dependencies with Counting on Trees

Klaus-Dieter Schewe

10.3217/jucs-011-12-2063

28-12-2005

Unique: 546 | Total: 694

2063-2075

Research Article

What is Continuity, Constructively?

Peter Schuster

10.3217/jucs-011-12-2076

28-12-2005

Unique: 616 | Total: 783

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

2086-2095

Research Article

Constructive Results on Operator Algebras

Bas Spitters

10.3217/jucs-011-12-2096

28-12-2005

Unique: 514 | Total: 638

2096-2113

Research Article

Hausdorff Measure and Lukasiewicz Languages

Ludwig Staiger

10.3217/jucs-011-12-2114

28-12-2005

Unique: 578 | Total: 718

2114-2124

Research Article

New Bounds for Positive Roots of Polynomials

Doru Ştefănescu

10.3217/jucs-011-12-2125

28-12-2005

Unique: 601 | Total: 733

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: 600 | Total: 769

2132-2141

Research Article

Perhaps the Intermediate Value Theorem

Wim Veldman

10.3217/jucs-011-12-2142

28-12-2005

Unique: 563 | Total: 682

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

2159-2164

Research Article

A Constructive Approach to Sylvester's Conjecture

Jan Plato

10.3217/jucs-011-12-2165

28-12-2005

Unique: 547 | Total: 663

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: 613 | Total: 746

2179-2191