Works matching IS 01290541 AND DT 1991 AND VI 2 AND IP 2

Results: 5
    1

    PRINCIPAL TYPE ASSIGNMENT TO LAMBDA TERMS.

    Published in:
    International Journal of Foundations of Computer Science, 1991, v. 2, n. 2, p. 149, doi. 10.1142/S0129054191000108
    By:
    • HIROKAWA, SACHIO
    Publication type:
    Article
    2

    ON THE COMPLEXITY OF SOME COLORING GAMES.

    Published in:
    International Journal of Foundations of Computer Science, 1991, v. 2, n. 2, p. 133, doi. 10.1142/S0129054191000091
    By:
    • BODLAENDER, HANS L.
    Publication type:
    Article
    3
    4
    5