The mu-calculus and Model Checking (Q3176384)

From MaRDI portal
scientific article
Language Label Description Also known as
English
The mu-calculus and Model Checking
scientific article

    Statements

    title
    The mu-calculus and Model Checking (English)
    0 references
    author
    Julian Bradfield
    0 references
    Igor Walukiewicz
    0 references
    publication date
    20 July 2018
    0 references
    cites work
    Q3086918
    0 references
    Q4551132
    0 references
    Q2744124
    0 references
    Q3086921
    0 references
    Q5606989
    0 references
    Q4255575
    0 references
    Q3220545
    0 references
    Q4385542
    0 references
    Q5365038
    0 references
    Q4551134
    0 references
    Q4343990
    0 references
    Q4525781
    0 references
    Q4168046
    0 references
    Q4227581
    0 references
    Q4825712
    0 references
    Q4501540
    0 references
    Q4738227
    0 references
    Q4006522
    0 references
    Borel determinacy
    0 references
    Coalgebraic logic
    0 references
    Q3753490
    0 references
    Q3346126
    0 references
    Q5616162
    0 references
    Q5596237
    0 references
    Q4945246
    0 references
    Q3346281
    0 references
    Q3219755
    0 references
    Q4804886
    0 references
    Q3781066
    0 references
    Q4219045
    0 references
    Q3086936
    0 references
    Q2754084
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68Q60
    0 references
    03B45
    0 references
    68Q85
    0 references
    zbMATH DE Number
    6908892
    0 references
    OpenAlex ID
    W2804589645
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3176384&oldid=36410153"
    Powered by MediaWiki