Proof systems for structured specifications with observability operators (Q1391730)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Proof systems for structured specifications with observability operators
scientific article

    Statements

    title
    Proof systems for structured specifications with observability operators (English)
    0 references
    author
    Rolf Hennicker
    0 references
    Martin Wirsing
    0 references
    Michel Bidoit
    0 references
    publication date
    22 July 1998
    0 references
    zbMATH DE Number
    1178197
    0 references
    zbMATH Keywords
    ASL-like kernel language
    0 references
    structured specifications
    0 references
    describes a project that uses
    OBSCURE
    0 references
    LARCH
    0 references
    cites work
    Q3777428
    0 references
    Q4537506
    0 references
    Q3906394
    0 references
    Model theory.
    0 references
    Q4385532
    0 references
    Q3221381
    0 references
    Q3742703
    0 references
    Q3956373
    0 references
    Q4282672
    0 references
    Q3204067
    0 references
    Q4842536
    0 references
    Q3659107
    0 references
    Q5522915
    0 references
    Q3814782
    0 references
    Q4729318
    0 references
    Q3938468
    0 references
    Q3725523
    0 references
    Q3773301
    0 references
    Q3042444
    0 references
    Q3666260
    0 references
    Q4385539
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q1391730&oldid=34203732"
    Powered by MediaWiki