Works matching IS 09601295 AND DT 2016 AND VI 26 AND IP 4

Results: 5
    1
    2

    Making abstract models complete.

    Published in:
    Mathematical Structures in Computer Science, 2016, v. 26, n. 4, p. 658, doi. 10.1017/S0960129514000358
    By:
    • GIACOBAZZI, ROBERTO;
    • MASTROENI, ISABELLA
    Publication type:
    Article
    3
    4
    5

    Characterizing co-NL by a group action.

    Published in:
    Mathematical Structures in Computer Science, 2016, v. 26, n. 4, p. 606, doi. 10.1017/S0960129514000267
    By:
    • AUBERT, CLÉMENT;
    • SEILLER, THOMAS
    Publication type:
    Article