Works matching IS 09601295 AND DT 2005 AND VI 15 AND IP 6

Results: 4
    1
    2
    3

    The semantics of BI and resource tableaux.

    Published in:
    Mathematical Structures in Computer Science, 2005, v. 15, n. 6, p. 1033, doi. 10.1017/s0960129505004858
    By:
    • D. GALMICHE;
    • D. MÉRY;
    • D. PYM
    Publication type:
    Article
    4

    Axioms for bigraphical structure.

    Published in:
    Mathematical Structures in Computer Science, 2005, v. 15, n. 6, p. 1005, doi. 10.1017/s0960129505004809
    By:
    • ROBIN MILNER
    Publication type:
    Article