Works matching IS 18605974 AND DT 2019 AND VI 15 AND IP 1

Results: 5
    1
    2
    3
    4

    A LIGHT MODALITY FOR RECURSION.

    Published in:
    Logical Methods in Computer Science (LMCS), 2019, v. 15, n. 1, p. 1, doi. 10.23638/LMCS-15(1:8)2019
    By:
    • SEVERI, PAULA
    Publication type:
    Article
    5

    SHRUB-DEPTH: CAPTURING HEIGHT OF DENSE GRAPHS.

    Published in:
    Logical Methods in Computer Science (LMCS), 2019, v. 15, n. 1, p. 1, doi. 10.23638/LMCS-15(1:7)2019
    By:
    • GANIAN, ROBERT;
    • HLINĚNÝ, PETR;
    • NEŠETŘIL, JAROSLAV;
    • OBDRŽÁLEK, JAN;
    • DE MENDEZ, PATRICE OSSONA
    Publication type:
    Article