Works matching IS 18605974 AND DT 2023 AND VI 19 AND IP 3

Results: 16
    1

    MONOIDAL WIDTH.

    Published in:
    Logical Methods in Computer Science (LMCS), 2023, v. 19, n. 3, p. 1, doi. 10.46298/LMCS-19(3:15)2023
    By:
    • DI LAVORE, ELENA;
    • SOBOCIŃSKI, PAWE L.
    Publication type:
    Article
    2

    A THEORY OF FORMAL CHOREOGRAPHIC LANGUAGES.

    Published in:
    Logical Methods in Computer Science (LMCS), 2023, v. 19, n. 3, p. 1, doi. 10.46298/LMCS-19(3:9)2023
    By:
    • BARBANERA, FRANCO;
    • LANESE, IVAN;
    • TUOSTO, EMILIO
    Publication type:
    Article
    3
    4
    5
    6
    7
    8
    9

    SEPARATING SESSIONS SMOOTHLY.

    Published in:
    Logical Methods in Computer Science (LMCS), 2023, v. 19, n. 3, p. 1, doi. 10.46298/LMCS-19(3:3)2023
    By:
    • FOWLER, SIMON;
    • KOKKE, WEN;
    • DARDHA, ORNELA;
    • LINDLEY, SAM;
    • MORRIS, J. GARRETT
    Publication type:
    Article
    10

    A SPATIAL LOGIC FOR SIMPLICIAL MODELS.

    Published in:
    Logical Methods in Computer Science (LMCS), 2023, v. 19, n. 3, p. 1, doi. 10.46298/LMCS-19(3:8)2023
    By:
    • LORETI, MICHELE;
    • QUADRINI, MICHELA
    Publication type:
    Article
    11
    12
    13

    ANSWER COUNTING UNDER GUARDED TGDS.

    Published in:
    Logical Methods in Computer Science (LMCS), 2023, v. 19, n. 3, p. 1, doi. 10.46298/LMCS-19(3:16)2023
    By:
    • FEIER, CRISTINA;
    • LUTZ, CARSTEN;
    • PRZYBYŁKO, MARCIN
    Publication type:
    Article
    14

    CONTINUOUS POSITIONAL PAYOFFS.

    Published in:
    Logical Methods in Computer Science (LMCS), 2023, v. 19, n. 3, p. 1, doi. 10.46298/LMCS-19(3:10)2023
    By:
    • KOZACHINSKIY, ALEXANDER
    Publication type:
    Article
    15
    16