Mediating for reduction (on minimizing alternating Büchi automata) (Q740970): Difference between revisions

From MaRDI portal
Normalize DOI.
Import241208061232 (talk | contribs)
Normalize DOI.
 
Property / DOI
 
Property / DOI: 10.1016/J.TCS.2014.08.003 / rank
Normal rank
 
Property / DOI
 
Property / DOI: 10.1016/J.TCS.2014.08.003 / rank
 
Normal rank

Latest revision as of 02:40, 10 December 2024

scientific article
Language Label Description Also known as
English
Mediating for reduction (on minimizing alternating Büchi automata)
scientific article

    Statements

    Mediating for reduction (on minimizing alternating Büchi automata) (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    10 September 2014
    0 references
    alternating Büchi automata
    0 references
    simulation
    0 references
    reduction
    0 references
    quotient
    0 references
    0 references
    0 references

    Identifiers