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
An algorithm for reducing binary branchings - MaRDI portal

An algorithm for reducing binary branchings (Q2956689)

From MaRDI portal
scientific article
Language Label Description Also known as
English
An algorithm for reducing binary branchings
scientific article

    Statements

    title
    An algorithm for reducing binary branchings (English)
    0 references
    author
    Paul Caspi
    0 references
    Jean-Claude Fernandez
    0 references
    Alain Girault
    0 references
    publication date
    19 January 2017
    0 references
    zbMATH Keywords
    object code optimization
    0 references
    observational equivalence
    0 references
    on-the-fly bisimulation
    0 references

    Identifiers

    zbMATH DE Number
    6676177
    0 references
    OpenAlex ID
    W1495839963
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2956689&oldid=31400774"
    Powered by MediaWiki