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 the decidability of infix inclusion problem - MaRDI portal

On the decidability of infix inclusion problem (Q2163987)

From MaRDI portal





scientific article
Language Label Description Also known as
English
On the decidability of infix inclusion problem
scientific article

    Statements

    On the decidability of infix inclusion problem (English)
    0 references
    0 references
    0 references
    0 references
    11 August 2022
    0 references
    infix inclusion
    0 references
    decidability
    0 references
    regular languages
    0 references
    context-free languages
    0 references

    Identifiers