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

From MaRDI portal
Revision as of 06:18, 23 July 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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 DE Number
    7228174
    0 references
    zbMATH Keywords
    appearance record
    0 references
    Rabin automata
    0 references
    parity automata
    0 references
    index appearance
    0 references
    small automata
    0 references
    describes a project that uses
    Rabinizer
    0 references
    PGSolver
    0 references
    SPOT
    0 references
    OpenAlex ID
    W2582709237
    0 references
    arXiv ID
    1701.05738
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3303907&oldid=36605073"
    Powered by MediaWiki