Works matching IS 00393215 AND DT 2009 AND VI 92 AND IP 3

Results: 4
    1

    Voting by Eliminating Quantifiers.

    Published in:
    Studia Logica, 2009, v. 92, n. 3, p. 365, doi. 10.1007/s11225-009-9200-7
    By:
    • Dov Gabbay;
    • Andrzej Szałas
    Publication type:
    Article
    2
    3
    4

    Fibred Security Language.

    Published in:
    Studia Logica, 2009, v. 92, n. 3, p. 395, doi. 10.1007/s11225-009-9201-6
    By:
    • Guido Boella;
    • Valerio Genovese;
    • Leendert van der Torre
    Publication type:
    Article