Works matching IS 09601295 AND DT 2004 AND VI 14 AND IP 4

Results: 4
    1

    Towards a quantum programming language.

    Published in:
    Mathematical Structures in Computer Science, 2004, v. 14, n. 4, p. 527, doi. 10.1017/s0960129504004256
    By:
    • PETER SELINGER
    Publication type:
    Article
    2

    Proof systems for lattice theory.

    Published in:
    Mathematical Structures in Computer Science, 2004, v. 14, n. 4, p. 507, doi. 10.1017/s0960129504004244
    By:
    • SARA NEGRI;
    • JAN VON PLATO
    Publication type:
    Article
    3
    4