Works matching IS 09601295 AND DT 2006 AND VI 16 AND IP 5

Results: 10
    1
    2

    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
    3

    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
    4

    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
    5
    6

    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
    7

    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
    8
    9

    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
    10

    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