Works matching IS 09601295 AND DT 2011 AND VI 21 AND IP 1

Results: 7

  • MSC volume 21 issue 1 Cover and Back matter.

    Published in:
    Mathematical Structures in Computer Science, 2011, v. 21, n. 1, p. b1, doi. 10.1017/S0960129511000028
    Publication type:
    Article

  • MSC volume 21 issue 1 Cover and Front matter.

    Published in:
    Mathematical Structures in Computer Science, 2011, v. 21, n. 1, p. f1, doi. 10.1017/S0960129511000016
    Publication type:
    Article

  • Noetherian orders.

    Published in:
    Mathematical Structures in Computer Science, 2011, v. 21, n. 1, p. 111, doi. 10.1017/S0960129510000460
    By:
    • PERDRY, HERVÉ;
    • SCHUSTER, PETER
    Publication type:
    Article

  • The structure of first-order causality.

    Published in:
    Mathematical Structures in Computer Science, 2011, v. 21, n. 1, p. 65, doi. 10.1017/S0960129510000459
    By:
    • MIMRAM, SAMUEL
    Publication type:
    Article

  • The formal ball model for -categories.

    Published in:
    Mathematical Structures in Computer Science, 2011, v. 21, n. 1, p. 41, doi. 10.1017/S0960129510000447
    By:
    • KOSTANEK, MATEUSZ;
    • WASZKIEWICZ, PAWEŁ
    Publication type:
    Article

  • Non-uniform (hyper/multi)coherence spaces.

    Published in:
    Mathematical Structures in Computer Science, 2011, v. 21, n. 1, p. 1, doi. 10.1017/S0960129510000320
    By:
    • BOUDES, PIERRE
    Publication type:
    Article

  • Stably compact spaces.

    Published in:
    Mathematical Structures in Computer Science, 2011, v. 21, n. 1, p. 125, doi. 10.1017/S0960129510000319
    By:
    • LAWSON, JIMMIE
    Publication type:
    Article