Go home now Header Background Image
Submission Procedure
share: |
Follow us
Volume 11

Content of Issue 12
DOI: 10.3217/jucs-011-12
Constructivity, Computability, and Logic
A Collection of Papers in Honour of the 60th Birthday of Douglas Bridges
C.S. Calude, H. Ishihara 1863
Constructive Suprema M.A. Baroni 1865
Constructive Equivalents of the Uniform Continuity Theorem J. Berger 1878
Computability of the Spectrum of Self-Adjoint Operators V. Brattka, R. Dillhage 1884
Algorithmic Irreducibility in a Cellular Automata Universe G. Chaitin 1901
Constructive Analysis of Iterated Rational Functions J. Clark 1904
Formal Topology and Constructive Mathematics: the Gelfand and Stone-Yosida Representation Theorems T. Coquand, B. Spitters 1932
Axiomatic Classes of Intuitionistic Models R. Goldblatt 1945
On Firmness of the State Space and Positive Elements of a Banach Algebra R.S. Havea 1963
Nonrandom Sequences between Random Sequences P. Hertling 1970
Permutability of Rules for Linear Lattices S. Negri 1986
Quotient Spaces and Coequalisers in Formal Topology E. Palmgren 1996
Constructive Set Theory and Brouwerian Principles M. Rathjen 2008
Constructing Programs or Processes S. Reeves, D. Streader 2034
Constructive Aspects of Markov Chains F. Richman 2046
On the Meaning of Positivity Relations for Regular Formal Spaces G. Sambin, G. Trentinaglia 2056
Functional Dependencies with Counting on Trees K.-D. Schewe 2063
What is Continuity, Constructively? P. Schuster 2076
A Direct Proof of the Equivalence between Brouwer's Fan Theorem and König's Lemma with a Uniqueness Hypothesis H. Schwichtenberg 2086
Constructive Results on Operator Algebras B. Spitters 2096
Hausdorff Measure and Lukasiewicz Languages L. Staiger 2114
New Bounds for Positive Roots of Polynomials D. Ştefănescu 2125
How the Mathematical Objects Determine the Mathematical Principles D. van Dalen 2132
Perhaps the Intermediate Value Theorem W. Veldman 2142
On Complements of Sets and the Efremovič Condition in Pre-apartness Spaces L.S. Vîţă 2159
A Constructive Approach to Sylvester's Conjecture J. von Plato 2165
Sequential Computability of a Function. Effective Fine Space and Limiting Recursion M. Yasugi, Y. Tsujii, T. Mori 2179