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
Decomposing timed push down automata - MaRDI portal

Decomposing timed push down automata (Q2711326)

From MaRDI portal





scientific article
Language Label Description Also known as
English
Decomposing timed push down automata
scientific article

    Statements

    publication date
    24 April 2001
    0 references
    zbMATH Keywords
    timed push down automata
    0 references
    title
    Decomposing timed push down automata (English)
    0 references

    Identifiers

    zbMATH DE Number
    1590686
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2711326&oldid=41913507"
    Powered by MediaWiki