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
Partial Derivative Automata Formalized in Coq - MaRDI portal

Partial Derivative Automata Formalized in Coq (Q3073622)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Partial Derivative Automata Formalized in Coq
scientific article

    Statements

    title
    Partial Derivative Automata Formalized in Coq (English)
    0 references
    author
    Nelma Moreira
    0 references
    David P. Pereira
    0 references
    Simão Melo de Sousa
    0 references
    José Bacelar Almeida
    0 references
    publication date
    11 February 2011
    0 references

    Identifiers

    zbMATH DE Number
    5850579
    0 references
    OpenAlex ID
    W1638179998
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3073622&oldid=35213706"
    Powered by MediaWiki