Works matching IS 18605974 AND DT 2014 AND VI 10 AND IP 2

Results: 17
    1

    SYNTHESIS FROM PROBABILISTIC COMPONENTS.

    Published in:
    Logical Methods in Computer Science (LMCS), 2014, v. 10, n. 2, p. 1, doi. 10.2168/LMCS-10(2:17)2014
    By:
    • LUSTIG, YOAD;
    • NAIN, SUMIT;
    • VARDI, MOSHE Y.
    Publication type:
    Article
    2
    3
    4

    SMALL STONE IN POOL.

    Published in:
    Logical Methods in Computer Science (LMCS), 2014, v. 10, n. 2, p. 1, doi. 10.2168/LMCS-10(2:16)2014
    By:
    • BUSS, SAMUEL R.;
    • KOLODZIEJCZYK, LESZEK ALEKSANDER
    Publication type:
    Article
    5
    6

    DYNAMIC TAGS FOR SECURITY PROTOCOLS.

    Published in:
    Logical Methods in Computer Science (LMCS), 2014, v. 10, n. 2, p. 1, doi. 10.2168/LMCS-10(2:11)2014
    By:
    • ARAPINIS, MYRTO;
    • DELAUNE, STÉPHANIE;
    • KREMER, STEVE
    Publication type:
    Article
    7

    GLOBAL NUMERICAL CONSTRAINTS ON TREES.

    Published in:
    Logical Methods in Computer Science (LMCS), 2014, v. 10, n. 2, p. 1, doi. 10.2168/LMCS-10(2:10)2014
    By:
    • BÁRCENAS, EVERARDO;
    • LAVALLE, JESÚS
    Publication type:
    Article
    8
    9

    COMPUTABILITY OF 1-MANIFOLDS.

    Published in:
    Logical Methods in Computer Science (LMCS), 2014, v. 10, n. 2, p. 1, doi. 10.2168/LMCS-10(2:8)2014
    By:
    • BURNIK, KONRAD;
    • ILJAZOVIĆ, ZVONKO
    Publication type:
    Article
    10
    11
    12
    13
    14
    15

    QUERYING THE GUARDED FRAGMENT.

    Published in:
    Logical Methods in Computer Science (LMCS), 2014, v. 10, n. 2, p. 1, doi. 10.2168/LMCS-10(2:3)2014
    By:
    • BÁRÁNY, VINCE;
    • GOTTLOB, GEORG;
    • OTTO, MARTIN
    Publication type:
    Article
    16
    17

    PARITY AND STREETT GAMES WITH COSTS.

    Published in:
    Logical Methods in Computer Science (LMCS), 2014, v. 10, n. 2, p. 1, doi. 10.2168/lmcs-10(2:14)2014
    By:
    • FIJALKOW, NATHANAËL;
    • ZIMMERMANN, MARTIN
    Publication type:
    Article