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
Deleting deterministic restarting automata with two windows - MaRDI portal

Deleting deterministic restarting automata with two windows (Q2408809)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Deleting deterministic restarting automata with two windows
scientific article

    Statements

    Deleting deterministic restarting automata with two windows (English)
    0 references
    0 references
    0 references
    13 October 2017
    0 references
    restarting automaton
    0 references
    language class
    0 references
    closure property
    0 references

    Identifiers