Works matching IS 13670751 AND DT 1997 AND VI 5 AND IP 3

Results: 7
    1

    Conferences.

    Published in:
    1997
    By:
    • D'Ottaviano, I.M.L.;
    • Carnielli, W.A.;
    • Sette, A.M.;
    • Wrigley, M.B.
    Publication type:
    Proceeding
    2
    3
    4
    5
    6

    A Lower Bound for Interpolation.

    Published in:
    Logic Journal of the IGPL, 1997, v. 5, n. 3, p. 1, doi. 10.1093/jigpal/5.3.1-a
    By:
    • Gavrilovich, Misha
    Publication type:
    Article
    7

    A Finite Axiomatization for Fork Algebras.

    Published in:
    Logic Journal of the IGPL, 1997, v. 5, n. 3, p. 1, doi. 10.1093/jigpal/5.3.1
    By:
    • Frias, Marcelo F.;
    • Haeberer, Armando M.;
    • Veloso, Paulo A. S.
    Publication type:
    Article