Index Appearance Record for Transforming Rabin Automata into Parity Automata (Q3303907)

From MaRDI portal
Revision as of 18:43, 16 February 2024 by SwMATHimport240215 (talk | contribs) (‎Changed an Item)
scientific article
Language Label Description Also known as
English
Index Appearance Record for Transforming Rabin Automata into Parity Automata
scientific article

    Statements

    title
    Index Appearance Record for Transforming Rabin Automata into Parity Automata (English)
    0 references
    author
    Jan Křetínský
    0 references
    Tobias Meggendorfer
    0 references
    Clara Waldmann
    0 references
    Maximilian Weininger
    0 references
    publication date
    5 August 2020
    0 references
    zbMATH Keywords
    appearance record
    0 references
    Rabin automata
    0 references
    parity automata
    0 references
    index appearance
    0 references
    small automata
    0 references
    cites work
    Rabinizer
    0 references

    Identifiers

    zbMATH DE Number
    7228174
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3303907&oldid=21571558"
    Powered by MediaWiki