Works matching IS 09601295 AND DT 2013 AND VI 23 AND IP 3

Results: 6
    1
    2
    3

    Ticket Entailment is decidable.

    Published in:
    Mathematical Structures in Computer Science, 2013, v. 23, n. 3, p. 568, doi. 10.1017/S0960129512000412
    By:
    • PADOVANI, VINCENT
    Publication type:
    Article
    4

    A new description of orthogonal bases.

    Published in:
    Mathematical Structures in Computer Science, 2013, v. 23, n. 3, p. 555, doi. 10.1017/S0960129512000047
    By:
    • COECKE, BOB;
    • PAVLOVIC, DUSKO;
    • VICARY, JAMIE
    Publication type:
    Article
    5

    The algebra of multirelations.

    Published in:
    Mathematical Structures in Computer Science, 2013, v. 23, n. 3, p. 635, doi. 10.1017/S0960129512000965
    By:
    • MARTIN, C. E.;
    • CURTIS, S. A.
    Publication type:
    Article
    6

    Quantum attacks on pseudorandom generators.

    Published in:
    Mathematical Structures in Computer Science, 2013, v. 23, n. 3, p. 608, doi. 10.1017/S0960129512000825
    By:
    • GUEDES, ELLOÁ B.;
    • DE ASSIS, F. M.;
    • LULA, BERNARDO
    Publication type:
    Article