Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Index Appearance Record for Transforming Rabin Automata into Parity Automata - MaRDI portal

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

From MaRDI portal
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