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
Graded Computation Tree Logic with Binary Coding - MaRDI portal

Graded Computation Tree Logic with Binary Coding (Q3586038)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Graded Computation Tree Logic with Binary Coding
scientific article

    Statements

    title
    Graded Computation Tree Logic with Binary Coding (English)
    0 references
    author
    Alessandro Bianco
    0 references
    Fabio Mogavero
    0 references
    Aniello Murano
    0 references
    publication date
    3 September 2010
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68Q60
    0 references
    03B44
    0 references
    03D05
    0 references
    zbMATH DE Number
    5779242
    0 references
    OpenAlex ID
    W1503593284
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3586038&oldid=31393499"
    Powered by MediaWiki