From Philosophical to Industrial Logics (Q3601803)

From MaRDI portal
scientific article
Language Label Description Also known as
English
From Philosophical to Industrial Logics
scientific article

    Statements

    title
    From Philosophical to Industrial Logics (English)
    0 references
    author
    Moshe Y. Vardi
    0 references
    publication date
    12 February 2009
    0 references
    Mathematics Subject Classification ID
    68Q60
    0 references
    03B44
    0 references
    03B70
    0 references
    03D05
    0 references
    zbMATH DE Number
    5506844
    0 references
    describes a project that uses
    CESAR
    0 references
    SPOT
    0 references
    LTL2BA
    0 references
    SPIN
    0 references
    NuSMV
    0 references
    VIS
    0 references
    OpenAlex ID
    W1482831113
    0 references
    cites work
    Q4420197
    0 references
    Q3905252
    0 references
    Q3862379
    0 references
    Q3253796
    0 references
    Q5541339
    0 references
    Q4074888
    0 references
    Q3214824
    0 references
    Q5636857
    0 references
    Q3246315
    0 references
    Q2771059
    0 references
    Q5556395
    0 references
    Q5641083
    0 references
    Q3773852
    0 references
    Q3711745
    0 references
    Q3395959
    0 references
    Q2744124
    0 references
    Q3336675
    0 references
    Q3940830
    0 references
    Q3141897
    0 references
    Q4037388
    0 references
    Q4037099
    0 references
    Q4804909
    0 references
    Q4326390
    0 references
    Q3694687
    0 references
    Q3698787
    0 references
    Q4054648
    0 references
    Q4159033
    0 references
    Q4525781
    0 references
    Q3999717
    0 references
    Q4744245
    0 references
    Q3906386
    0 references
    Q3341881
    0 references
    Q3768883
    0 references
    Q4551164
    0 references
    Q4551177
    0 references
    Q4472249
    0 references
    Q4490750
    0 references
    Q4551134
    0 references
    Q4417914
    0 references
    Q4449225
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3601803&oldid=35093393"
    Powered by MediaWiki