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
Unified Decision Procedures for Regular Expression Equivalence - MaRDI portal

Unified Decision Procedures for Regular Expression Equivalence (Q2879269)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Unified Decision Procedures for Regular Expression Equivalence
scientific article

    Statements

    title
    Unified Decision Procedures for Regular Expression Equivalence (English)
    0 references
    author
    Tobias Nipkow
    0 references
    Dmitriy Traytel
    0 references
    publication date
    8 September 2014
    0 references
    zbMATH DE Number
    6341498
    0 references
    describes a project that uses
    Isabelle
    0 references
    Isabelle/HOL
    0 references
    HOL
    0 references
    MSO_Regex_Equivalence
    0 references
    OpenAlex ID
    W260922524
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2879269&oldid=32920991"
    Powered by MediaWiki