Works matching IS 18605974 AND DT 2016 AND VI 12 AND IP 1

Results: 9
    1
    2
    3

    SIMULATION PROBLEMS OVER ONE-COUNTER NETS.

    Published in:
    Logical Methods in Computer Science (LMCS), 2016, v. 12, n. 1, p. 1, doi. 10.2168/LMCS-12(1:6)2016
    By:
    • HOFMAN, PIOTR;
    • LASOTA, SŁAWOMIR;
    • MAYR, RICHARD;
    • TOTZKE, PATRICK
    Publication type:
    Article
    4
    5
    6

    A SORTED SEMANTIC FRAMEWORK FOR APPLIED PROCESS CALCULI.

    Published in:
    Logical Methods in Computer Science (LMCS), 2016, v. 12, n. 1, p. 1, doi. 10.2168/LMCS-12(1:8)2016
    By:
    • BORGSTRÖM, JOHANNES;
    • GUTKOVAS, RAMŪNAS;
    • PARROW, JOACHIM;
    • VICTOR, BJÖRN;
    • POHJOLA, JOHANNES ÅMAN
    Publication type:
    Article
    7

    WEAK TOPOLOGIES FOR LINEAR LOGIC.

    Published in:
    Logical Methods in Computer Science (LMCS), 2016, v. 12, n. 1, p. 1, doi. 10.2168/LMCS-12(1:3)2016
    By:
    • KERJEAN, MARIE
    Publication type:
    Article
    8
    9

    HISTORY-REGISTER AUTOMATA.

    Published in:
    Logical Methods in Computer Science (LMCS), 2016, v. 12, n. 1, p. 1, doi. 10.2168/LMCS-12(1:7)2016
    By:
    • GRIGORE, RADU;
    • TZEVELEKOS, NIKOS
    Publication type:
    Article