Works matching IS 18605974 AND DT 2020 AND VI 16 AND IP 4

Results: 19
    1
    2

    ON OPEN WELL-FILTERED SPACES.

    Published in:
    Logical Methods in Computer Science (LMCS), 2020, v. 16, n. 4, p. 1, doi. 10.23638/LMCS-16(4:18)2020
    By:
    • CHONG SHEN;
    • XIAOYONG XI;
    • XIAOQUAN XU;
    • DONGSHENG ZHAO
    Publication type:
    Article
    3

    CLAUSE SET CYCLES AND INDUCTION.

    Published in:
    Logical Methods in Computer Science (LMCS), 2020, v. 16, n. 4, p. 1, doi. 10.23638/LMCS-16(4:11)2020
    By:
    • HETZL, STEFAN;
    • VIERLING, JANNIK
    Publication type:
    Article
    4

    TOWARDS A MINIMAL STABILIZER ZX-CALCULUS.

    Published in:
    Logical Methods in Computer Science (LMCS), 2020, v. 16, n. 4, p. 1, doi. 10.23638/LMCS-16(4:19)2020
    By:
    • BACKENS, MIRIAM;
    • PERDRIX, SIMON;
    • QUANLONG WANG
    Publication type:
    Article
    5
    6

    TOWARDS RACES IN LINEAR LOGIC.

    Published in:
    Logical Methods in Computer Science (LMCS), 2020, v. 16, n. 4, p. 1, doi. 10.23638/LMCS-16(4:15)2020
    By:
    • KOKKE, WEN;
    • MORRIS, J. GARRETT;
    • WADLER, PHILIP
    Publication type:
    Article
    7

    TRANSFINITE LYNDON WORDS.

    Published in:
    Logical Methods in Computer Science (LMCS), 2020, v. 16, n. 4, p. 1, doi. 10.23638/LMCS-16(4:9)2020
    By:
    • BOASSON, LUC;
    • CARTON, OLIVIER
    Publication type:
    Article
    8
    9
    10
    11
    12
    13

    FLAVIO CORRADINI.

    Published in:
    Logical Methods in Computer Science (LMCS), 2020, v. 16, n. 4, p. 1, doi. 10.23638/LMCS-16(4:7)2020
    By:
    • CORRADINI, FLAVIO;
    • MORICHETTA, ANDREA;
    • POLINI, ANDREA;
    • R. E., BARBARA;
    • TIEZZI, FRANCESCO
    Publication type:
    Article
    14

    FIELD-BASED COORDINATION WITH THE SHARE OPERATOR.

    Published in:
    Logical Methods in Computer Science (LMCS), 2020, v. 16, n. 4, p. 1, doi. 10.23638/LMCS-16(4:1)2020
    By:
    • AUDRITO, GIORGIO;
    • BEAL, JACOB;
    • DAMIANI, FERRUCCIO;
    • PIANINI, DANILO;
    • VIROLI, MIRKO
    Publication type:
    Article
    15

    EVERSING PLACE TRANSITION NETS.

    Published in:
    Logical Methods in Computer Science (LMCS), 2020, v. 16, n. 4, p. 1, doi. 10.23638/LMCS-16(4:5)2020
    By:
    • MELGRATTI, HERNÁAN;
    • MEZZINA, CLAUDIO ANTARES;
    • ULIDOWSKI, IREK
    Publication type:
    Article
    16

    VERIFICATION OF FLAT FIFO MACHIN.

    Published in:
    Logical Methods in Computer Science (LMCS), 2020, v. 16, n. 4, p. 1, doi. 10.23638/LMCS-16(4:4)2020
    By:
    • FINKEL, ALAIN;
    • PRAVEEN, M.
    Publication type:
    Article
    17
    18
    19