Journals in DBLP
J. UCS Cristian S. Calude , Hajime Ishihara Constructivity, Computability, and Logic A Collection of Papers in Honour of the 60th Birthday of Douglas Bridges. [Citation Graph (0, 0)][DBLP ] Journal ] Marian Alexandru Baroni Constructive Suprema. [Citation Graph (0, 0)][DBLP ] Journal ] Josef Berger Constructive Equivalents of the Uniform Continuity Theorem. [Citation Graph (0, 0)][DBLP ] Journal ] Vasco Brattka , Ruth Dillhage Computability of the Spectrum of Self-Adjoint Operators. [Citation Graph (0, 0)][DBLP ] Journal ] Gregory J. Chaitin Algorithmic Irreducibility in a Cellular Automata Universe. [Citation Graph (0, 0)][DBLP ] Journal ] Jeremy Clark Constructive Analysis of Iterated Rational Functions. [Citation Graph (0, 0)][DBLP ] Journal ] Thierry Coquand , Bas Spitters Formal Topology and Constructive Mathematics: the Gelfand and Stone-Yosida Representation Theorems. [Citation Graph (0, 0)][DBLP ] Journal ] Robert Goldblatt Axiomatic Classes of Intuitionistic Models. [Citation Graph (0, 0)][DBLP ] Journal ] Robin Havea On Firmness of the State Space and Positive Elements of a Banach Algebra. [Citation Graph (0, 0)][DBLP ] Journal ] Peter Hertling Nonrandom Sequences between Random Sequences. [Citation Graph (0, 0)][DBLP ] Journal ] Sara Negri Permutability of Rules for Linear Lattices. [Citation Graph (0, 0)][DBLP ] Journal ] Erik Palmgren Quotient Spaces and Coequalisers in Formal Topology. [Citation Graph (0, 0)][DBLP ] Journal ] Michael Rathjen Constructive Set Theory and Brouwerian Principles. [Citation Graph (0, 0)][DBLP ] Journal ] Steve Reeves , David Streader Constructing Programs or Processes. [Citation Graph (0, 0)][DBLP ] Journal ] Fred Richman Constructive Aspects of Markov Chains. [Citation Graph (0, 0)][DBLP ] Journal ] Giovanni Sambin , Giorgio Trentinaglia On the Meaning of Positivity Relations for Regular Formal Spaces. [Citation Graph (0, 0)][DBLP ] Journal ] Klaus-Dieter Schewe Functional Dependencies with Counting on Trees. [Citation Graph (0, 0)][DBLP ] Journal ] Peter Schuster What is Continuity, Constructively? [Citation Graph (0, 0)][DBLP ] Journal ] Helmut Schwichtenberg A Direct Proof of the Equivalence between Brouwer's Fan Theorem and König's Lemma with a Uniqueness Hypothesis. [Citation Graph (0, 0)][DBLP ] Journal ] Bas Spitters Constructive Results on Operator Algebras. [Citation Graph (0, 0)][DBLP ] Journal ] Ludwig Staiger Hausdorff Measure and Lukasiewicz Languages. [Citation Graph (0, 0)][DBLP ] Journal ] Doru Stefanescu New Bounds for Positive Roots of Polynomials. [Citation Graph (0, 0)][DBLP ] Journal ] Dirk van Dalen How the Mathematical Objects Determine the Mathematical Principles. [Citation Graph (0, 0)][DBLP ] Journal ] Wim Veldman Perhaps the Intermediate Value Theorem. [Citation Graph (0, 0)][DBLP ] Journal ] Luminita Simona Vîta On Complements of Sets and the Efremovic Condition in Pre-apartness Spaces. [Citation Graph (0, 0)][DBLP ] Journal ] Jan von Plato A Constructive Approach to Sylvester's Conjecture. [Citation Graph (0, 0)][DBLP ] Journal ] Mariko Yasugi , Yoshiki Tsujii , Takakazu Mori Sequential Computability of a Function. Effective Fine Space and Limiting Recursion. [Citation Graph (0, 0)][DBLP ] Journal ] 