Verified decision procedures for MSO on words based on derivatives of regular expressions (Q5371957)

From MaRDI portal
scientific article; zbMATH DE number 6796900
Language Label Description Also known as
English
Verified decision procedures for MSO on words based on derivatives of regular expressions
scientific article; zbMATH DE number 6796900

    Statements

    title
    Verified decision procedures for MSO on words based on derivatives of regular expressions (English)
    0 references
    author
    Dmitriy Traytel
    0 references
    Tobias Nipkow
    0 references
    publication date
    23 October 2017
    0 references
    describes a project that uses
    Presburger Automata
    0 references
    Regular Sets
    0 references
    Isabelle
    0 references
    MONA
    0 references
    Archive Formal Proofs
    0 references
    Regex_Equivalence
    0 references
    Isabelle/HOL
    0 references
    Myhill-Nerode
    0 references
    cites work
    Q2754076
    0 references
    Q2782479
    0 references
    Q4818808
    0 references
    Concrete Semantics
    0 references
    Q2754118
    0 references
    Q4251915
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68N18
    0 references
    03B25
    0 references
    68Q45
    0 references
    68T15
    0 references
    zbMATH DE Number
    6796900
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q5371957&oldid=36352522"
    Powered by MediaWiki