Results: 3

  • Denotational semantics of object specification.

    Published in:
    Acta Informatica, 1998, v. 35, n. 9, p. 729, doi. 10.1007/s002360050141
    By:
    • Sernadas, Amílcar;
    • Sernadas, Cristina;
    • Caleiro, Carlos
    Publication type:
    Article

  • A Tree-based Mergesort.

    Published in:
    Acta Informatica, 1998, v. 35, n. 9, p. 775, doi. 10.1007/s002360050142
    By:
    • Moffat, Alistair;
    • Petersson, Ola;
    • Wormald, Nicholas C.
    Publication type:
    Article

  • Machine scheduling with availability constraints.

    Published in:
    Acta Informatica, 1998, v. 35, n. 9, p. 795, doi. 10.1007/s002360050143
    By:
    • Sanlaville, Eric;
    • Schmidt, Günter
    Publication type:
    Article