Works matching IS 01290541 AND DT 2019 AND VI 30 AND IP 1

Results: 9
    1

    Descriptional Complexity of the Forever Operator.

    Published in:
    International Journal of Foundations of Computer Science, 2019, v. 30, n. 1, p. 115, doi. 10.1142/S0129054119400069
    By:
    • Hospodár, Michal;
    • Jirásková, Galina;
    • Mlynárčik, Peter
    Publication type:
    Article
    2
    3

    The Generalized Rank of Trace Languages.

    Published in:
    International Journal of Foundations of Computer Science, 2019, v. 30, n. 1, p. 135, doi. 10.1142/S0129054119400070
    By:
    • Kunc, Michal;
    • Meitner, Jan
    Publication type:
    Article
    4

    On the Interplay Between Černý and Babai's Conjectures.

    Published in:
    International Journal of Foundations of Computer Science, 2019, v. 30, n. 1, p. 93, doi. 10.1142/S0129054119400057
    By:
    • Gonze, François;
    • Gusev, Vladimir V.;
    • Jungers, Raphaël M.;
    • Gerencsér, Balázs;
    • Volkov, Mikhail V.
    Publication type:
    Article
    5
    6
    7
    8
    9

    Preface.

    Published in:
    2019
    By:
    • Charlier, Émilie;
    • Leroy, Julien;
    • Rigo, Michel
    Publication type:
    Proceeding