Works matching IS 13670751 AND DT 2014 AND VI 22 AND IP 5

Results: 4
    1

    Propositional dynamic logic for Petri nets.

    Published in:
    Logic Journal of the IGPL, 2014, v. 22, n. 5, p. 721, doi. 10.1093/jigpal/jzu010
    By:
    • Lopes, Bruno;
    • Benevides, Mario;
    • Haeusler, Edward Hermann
    Publication type:
    Article
    2
    3

    First-order unification in the PVS proof assistant.

    Published in:
    Logic Journal of the IGPL, 2014, v. 22, n. 5, p. 758, doi. 10.1093/jigpal/jzu012
    By:
    • Avelar, Andréia Borges;
    • Galdino, André Luiz;
    • de Moura, Flávio Leonardo Cavalcanti;
    • Ayala-Rincón, Mauricio
    Publication type:
    Article
    4