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
On defining linear orders by automata - MaRDI portal

On defining linear orders by automata (Q2211260)

From MaRDI portal





scientific article
Language Label Description Also known as
English
On defining linear orders by automata
scientific article

    Statements

    title
    On defining linear orders by automata (English)
    0 references
    author
    Irène Durand
    0 references
    Michael Raskin
    0 references
    Bruno Courcelle
    0 references
    publication date
    10 November 2020
    0 references
    zbMATH Keywords
    enumeration algorithm
    0 references
    diagonal enumeration
    0 references
    graph-walking automaton
    0 references
    linear order
    0 references

    Identifiers

    Mathematics Subject Classification ID
    06A05
    0 references
    05C38
    0 references
    68Q45
    0 references
    zbMATH DE Number
    7272349
    0 references
    OpenAlex ID
    W2995379413
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2211260&oldid=41135435"
    Powered by MediaWiki