Graded Computation Tree Logic with Binary Coding (Q3586038)

From MaRDI portal
Revision as of 10:44, 18 March 2024 by Importer (talk | contribs) (‎Changed an Item)
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
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3586038&oldid=31106705"
    Powered by MediaWiki