Works matching IS 09601295 AND DT 2022 AND VI 32 AND IP 9


Results: 7
    1
    2

    Weighted synchronous automata.

    Published in:
    Mathematical Structures in Computer Science, 2022, v. 32, n. 9, p. 1234, doi. 10.1017/S0960129522000421
    By:
    • Gomes, Leandro;
    • Madeira, Alexandre;
    • Barbosa, Luis Soares
    Publication type:
    Article
    3
    4

    A linear logic framework for multimodal logics.

    Published in:
    Mathematical Structures in Computer Science, 2022, v. 32, n. 9, p. 1176, doi. 10.1017/S0960129522000366
    By:
    • Xavier, Bruno;
    • Olarte, Carlos;
    • Pimentel, Elaine
    Publication type:
    Article
    5
    6
    7