On modal mu-calculus and Büchi tree automata (Q1349728)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On modal mu-calculus and Büchi tree automata
scientific article

    Statements

    On modal mu-calculus and Büchi tree automata (English)
    0 references
    0 references
    27 February 1997
    0 references
    0 references
    formal languages
    0 references
    modal mu-calculus
    0 references
    alternation
    0 references
    Büchi-automata
    0 references
    0 references