Works matching IS 09335846 AND DT 2008 AND VI 47 AND IP 6

Results: 6
    1
    2
    3

    Register computations on ordinals.

    Published in:
    Archive for Mathematical Logic, 2008, v. 47, n. 6, p. 529, doi. 10.1007/s00153-008-0093-3
    By:
    • Koepke, Peter;
    • Siders, Ryan
    Publication type:
    Article
    4

    Equality of proofs for linear equality.

    Published in:
    Archive for Mathematical Logic, 2008, v. 47, n. 6, p. 549, doi. 10.1007/s00153-008-0096-0
    By:
    • Došen, Kosta;
    • Petrić, Zoran
    Publication type:
    Article
    5

    Potential continuity of colorings.

    Published in:
    Archive for Mathematical Logic, 2008, v. 47, n. 6, p. 567, doi. 10.1007/s00153-008-0097-z
    By:
    • Geschke, Stefan
    Publication type:
    Article
    6