Found: 10

Select item for more details and to access through your institution.

  • On the complexity of inductive definitions.

    Published in:
    Mathematical Structures in Computer Science, 2006, v. 16, n. 5, p. 763, doi. 10.1017/s0960129506005585
    By:
    • DOUGLAS CENZER;
    • JEFFREY B. REMMEL
    Publication type:
    Article

  • An extremely sharp phase transition threshold for the slow growing hierarchy.

    Published in:
    Mathematical Structures in Computer Science, 2006, v. 16, n. 5, p. 925, doi. 10.1017/s0960129506005640
    By:
    • ANDREAS WEIERMANN
    Publication type:
    Article

  • A logical approach to abstract algebra.

    Published in:
    Mathematical Structures in Computer Science, 2006, v. 16, n. 5, p. 885, doi. 10.1017/s0960129506005627
    By:
    • THIERRY COQUAND;
    • HENRI LOMBARDI
    Publication type:
    Article

  • Ordinal computations.

    Published in:
    Mathematical Structures in Computer Science, 2006, v. 16, n. 5, p. 867, doi. 10.1017/s0960129506005615
    By:
    • PETER KOEPKE;
    • MARTIN KOERWIEN
    Publication type:
    Article

  • Borel ranks and Wadge degrees of context free $\omega$-languages.

    Published in:
    Mathematical Structures in Computer Science, 2006, v. 16, n. 5, p. 813, doi. 10.1017/s0960129506005597
    By:
    • OLIVIER FINKEL
    Publication type:
    Article

  • Schnorr dimension.

    Published in:
    Mathematical Structures in Computer Science, 2006, v. 16, n. 5, p. 789, doi. 10.1017/s0960129506005469
    By:
    • RODNEY DOWNEY;
    • WOLFGANG MERKLE;
    • JAN REIMANN
    Publication type:
    Article

  • Uniform regular enumerations.

    Published in:
    Mathematical Structures in Computer Science, 2006, v. 16, n. 5, p. 901, doi. 10.1017/s0960129506005639
    By:
    • IVAN SOSKOV;
    • BOGOMIL KOVACHEV
    Publication type:
    Article

  • Continuous semantics for strong normalisation.

    Published in:
    Mathematical Structures in Computer Science, 2006, v. 16, n. 5, p. 751, doi. 10.1017/s0960129506005457
    By:
    • ULRICH BERGER
    Publication type:
    Article

  • Random reals and Lipschitz continuity.

    Published in:
    Mathematical Structures in Computer Science, 2006, v. 16, n. 5, p. 737, doi. 10.1017/s0960129506005445
    By:
    • ANDREW E. M. LEWIS;
    • GEORGE BARMPALIAS
    Publication type:
    Article

  • Mathematics of computing at CiE 2005.

    Published in:
    Mathematical Structures in Computer Science, 2006, v. 16, n. 5, p. 735, doi. 10.1017/s0960129506005433
    By:
    • S. BARRY COOPER;
    • BENEDIKT LÖWE;
    • DAG NORMANN
    Publication type:
    Article