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

Results: 7
    1

    Breaking symmetries.

    Published in:
    Mathematical Structures in Computer Science, 2016, v. 26, n. 6, p. 1054, doi. 10.1017/S0960129514000346
    By:
    • PETERS, KIRSTIN;
    • NESTMANN, UWE
    Publication type:
    Article
    2

    Preface to special issue: EXPRESS 2010.

    Published in:
    Mathematical Structures in Computer Science, 2016, v. 26, n. 6, p. 907, doi. 10.1017/S0960129514000371
    By:
    • FRÖSCHLE, SIBYLLE;
    • VALENCIA, FRANK D.
    Publication type:
    Article
    3
    4

    Relating timed and register automata.

    Published in:
    Mathematical Structures in Computer Science, 2016, v. 26, n. 6, p. 993, doi. 10.1017/S0960129514000322
    By:
    • FIGUEIRA, DIEGO;
    • HOFMAN, PIOTR;
    • LASOTA, SŁAWOMIR
    Publication type:
    Article
    5

    Light logics and higher-order processes.

    Published in:
    Mathematical Structures in Computer Science, 2016, v. 26, n. 6, p. 969, doi. 10.1017/S0960129514000310
    By:
    • DAL LAGO, UGO;
    • MARTINI, SIMONE;
    • SANGIORGI, DAVIDE
    Publication type:
    Article
    6
    7