Works matching IS 01290541 AND DT 2020 AND VI 31 AND IP 6

Results: 9
    1
    2
    3
    4
    5

    A Pattern Logic for Automata with Outputs.

    Published in:
    International Journal of Foundations of Computer Science, 2020, v. 31, n. 6, p. 711, doi. 10.1142/S0129054120410038
    By:
    • Filiot, Emmanuel;
    • Mazzocchi, Nicolas;
    • Raskin, Jean-François
    Publication type:
    Article
    6
    7

    Weak Cost Register Automata are Still Powerful.

    Published in:
    International Journal of Foundations of Computer Science, 2020, v. 31, n. 6, p. 689, doi. 10.1142/S0129054120410026
    By:
    • Almagor, Shaull;
    • Cadilhac, Michaël;
    • Mazowiecki, Filip;
    • Pérez, Guillermo A.
    Publication type:
    Article
    8
    9