Works matching IS 01290541 AND DT 1995 AND VI 6 AND IP 2

Results: 5
    1
    2
    3
    4

    SOME EQUATIONAL LAWS OF INITIALITY IN 2CCC'S.

    Published in:
    International Journal of Foundations of Computer Science, 1995, v. 6, n. 2, p. 95, doi. 10.1142/S0129054195000081
    By:
    • BLOOM, STEPHEN L.;
    • ÉSIK, ZOLTÁN
    Publication type:
    Article
    5

    ON HELPING AND INTERACTIVE PROOF SYSTEMS.

    Published in:
    International Journal of Foundations of Computer Science, 1995, v. 6, n. 2, p. 137, doi. 10.1142/S012905419500010X
    By:
    • ARVIND, V.;
    • KÖBLER, J.;
    • SCHULER, R.
    Publication type:
    Article