Works matching IS 09601295 AND DT 1994 AND VI 4 AND IP 3


Results: 6
    1
    2
    3

    An Oxford survey of order sorted algebra.

    Published in:
    Mathematical Structures in Computer Science, 1994, v. 4, n. 3, p. 363, doi. 10.1017/S0960129500000517
    By:
    • Goguen, Joseph;
    • Diaconescu, Răzvan
    Publication type:
    Article
    4

    Simulating expansions without expansions.

    Published in:
    Mathematical Structures in Computer Science, 1994, v. 4, n. 3, p. 315, doi. 10.1017/S0960129500000505
    By:
    • Cosmo, Roberto Di;
    • Kesner, Delia
    Publication type:
    Article
    5
    6