Works matching IS 09425616 AND DT 2007 AND VI 53 AND IP 4/5


Results: 14
    1
    2
    3

    Primitive recursive real numbers.

    Published in:
    Mathematical Logic Quarterly, 2007, v. 53, n. 4/5, p. 365, doi. 10.1002/malq.200710005
    By:
    • Qingliang Chen;
    • Kaile Su;
    • Xizhong Zheng
    Publication type:
    Article
    4
    5
    6
    7
    8
    9

    Computable metrization.

    Published in:
    Mathematical Logic Quarterly, 2007, v. 53, n. 4/5, p. 381, doi. 10.1002/malq.200710009
    By:
    • Grubba, Tanja;
    • Schröder, Matthias;
    • Weihrauch, Klaus
    Publication type:
    Article
    10
    11
    12
    13
    14

    Editorial: Math. Log. Quart. 4–5/2007.

    Published in:
    Mathematical Logic Quarterly, 2007, v. 53, n. 4/5, p. 325, doi. 10.1002/malq.200790001
    By:
    • Ker-I Ko;
    • Weihrauch, Klaus;
    • Xizhong Zheng
    Publication type:
    Article