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
Extending the Rackoff technique to Affine nets - MaRDI portal

Extending the Rackoff technique to Affine nets (Q2957508)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Extending the Rackoff technique to Affine nets
scientific article

    Statements

    author
    Rémi Bonnet
    0 references
    M. Praveen
    0 references
    Alain Finkel
    0 references
    publication date
    26 January 2017
    0 references
    zbMATH Keywords
    complexity of VASS
    0 references
    affine nets
    0 references
    Rackoff technique
    0 references
    model checking
    0 references
    coverability
    0 references
    boundedness
    0 references
    title
    Extending the Rackoff technique to Affine nets (English)
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68Q85
    0 references
    68Q25
    0 references
    68Q60
    0 references
    zbMATH DE Number
    6678460
    0 references
    OpenAlex ID
    W2244360319
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2957508&oldid=39245835"
    Powered by MediaWiki