Works matching IS 01290541 AND DT 2009 AND VI 20 AND IP 1


Results: 11
    1

    PREFACE.

    Published in:
    International Journal of Foundations of Computer Science, 2009, v. 20, n. 1, p. 1, doi. 10.1142/S0129054109006413
    By:
    • Gudmundsson, Jaochim;
    • Harland, James
    Publication type:
    Article
    2

    CONSTRUCTING OPTIMAL HIGHWAYS.

    Published in:
    International Journal of Foundations of Computer Science, 2009, v. 20, n. 1, p. 3, doi. 10.1142/S0129054109006425
    By:
    • Hee-Kap Ahn;
    • Alt, Helmut;
    • Asano, Tetsuo;
    • Bae, Sang Won;
    • Brass, Peter;
    • Cheong, Otfried;
    • Knauer, Christian;
    • Hyeon-Suk Na;
    • Chan-Su Shin;
    • Wolff, Alexander
    Publication type:
    Article
    3
    4
    5

    TERMINATION OF ABSTRACT REDUCTION SYSTEMS.

    Published in:
    International Journal of Foundations of Computer Science, 2009, v. 20, n. 1, p. 57, doi. 10.1142/S0129054109006450
    By:
    • Dawson, Jeremy E.;
    • Goré, Rajeev
    Publication type:
    Article
    6

    A UNIVERSE OF STRICTLY POSITIVE FAMILIES.

    Published in:
    International Journal of Foundations of Computer Science, 2009, v. 20, n. 1, p. 83, doi. 10.1142/S0129054109006462
    By:
    • Morris, Peter;
    • Altenkirch, Thorsten;
    • Ghani, Neil
    Publication type:
    Article
    7
    8

    ON SPANNERS OF GEOMETRIC GRAPHS.

    Published in:
    International Journal of Foundations of Computer Science, 2009, v. 20, n. 1, p. 135, doi. 10.1142/S0129054109006486
    By:
    • Gudmundsson, Joachim;
    • Smid, Michael
    Publication type:
    Article
    9
    10
    11