Works matching IS 09601295 AND DT 2019 AND VI 29 AND IP 6


Results: 9
    1
    2
    3

    Syllogistic logic with "Most".

    Published in:
    Mathematical Structures in Computer Science, 2019, v. 29, n. 6, p. 763, doi. 10.1017/S0960129518000312
    By:
    • Endrullis, Jörg;
    • Moss, Lawrence S.
    Publication type:
    Article
    4
    5

    Preface.

    Published in:
    2019
    By:
    • de Paiva, Valeria;
    • de Queiroz, Ruy
    Publication type:
    Editorial
    6
    7
    8

    A public announcement separation logic.

    Published in:
    Mathematical Structures in Computer Science, 2019, v. 29, n. 6, p. 828, doi. 10.1017/S0960129518000348
    By:
    • Courtault, J.R.;
    • van Ditmarsch, H.;
    • Galmiche, D.
    Publication type:
    Article
    9