Works matching IS 01290541 AND DT 1990 AND VI 1 AND IP 3

Results: 13
    1

    INTRODUCTION.

    Published in:
    International Journal of Foundations of Computer Science, 1990, v. 1, n. 3, p. iii, doi. 10.1142/S012905419000031X
    Publication type:
    Article
    2
    3

    DEADLOCK PREDICTION IN THE CASE OF DYNAMIC ROUTING.

    Published in:
    International Journal of Foundations of Computer Science, 1990, v. 1, n. 3, p. 185, doi. 10.1142/S012905419000014X
    By:
    • BOVET, DANIEL P.;
    • DI IANNI, MIRIAM;
    • CRESCENZI, PIERLUIGI
    Publication type:
    Article
    4
    5

    REGULAR SYSTEMS OF EQUATIONS IN λ-CALCULUS.

    Published in:
    International Journal of Foundations of Computer Science, 1990, v. 1, n. 3, p. 325, doi. 10.1142/S0129054190000230
    By:
    • PIPERNO, ADOLFO;
    • TRONCI, ENRICO
    Publication type:
    Article
    6

    BREADTH AND DEPTH GRAMMARS AND DEQUE AUTOMATA.

    Published in:
    International Journal of Foundations of Computer Science, 1990, v. 1, n. 3, p. 219, doi. 10.1142/S0129054190000163
    By:
    • CHERUBINI, ALESSANDRA;
    • CITRINI, CLAUDIO;
    • REGHIZZI, STEFANO CRESPI;
    • MANDRIOLI, DINO
    Publication type:
    Article
    7
    8
    9
    10

    ABOUT MODEST SETS.

    Published in:
    International Journal of Foundations of Computer Science, 1990, v. 1, n. 3, p. 341, doi. 10.1142/S0129054190000242
    By:
    • ROSOLINI, G.
    Publication type:
    Article
    11
    12

    NESTED GUARDED HORN CLAUSES.

    Published in:
    International Journal of Foundations of Computer Science, 1990, v. 1, n. 3, p. 249, doi. 10.1142/S0129054190000187
    By:
    • FALASCHI, MORENO;
    • GABBRIELLI, MAURIZIO;
    • LEVI, GIORGIO;
    • MURAKAMI, MASAKI
    Publication type:
    Article
    13