166 research outputs found

    Axiomatizing iteration categories

    Get PDF

    On αλ1-products of automata

    Get PDF

    Extended Temporal Logic on Finite Words and Wreath Product of Monoids with Distinguished Generators

    Get PDF
    We associate a modal operator with each language belonging to a given class of regular languages and use the (reverse) wreath product of monoids with distinguished generators to characterize the expressive power of the resulting logic

    Deterministic ascending tree automata II

    Get PDF
    • …
    corecore