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
Efficient weighted expressions conversion - MaRDI portal

Efficient weighted expressions conversion (Q3515463)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Efficient weighted expressions conversion
scientific article

    Statements

    Efficient weighted expressions conversion (English)
    0 references
    0 references
    0 references
    29 July 2008
    0 references
    formal series
    0 references
    weighted regular expression
    0 references
    weighted automaton
    0 references

    Identifiers