No label defined (Q4742767)

From MaRDI portal
Revision as of 18:07, 13 June 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article; zbMATH DE number 3797730
Language Label Description Also known as
English
No label defined
scientific article; zbMATH DE number 3797730

    Statements

    1982
    0 references
    0 references
    termination of programs
    0 references
    modal formulas
    0 references
    propositional modal logic
    0 references
    invariance
    0 references
    eventuality
    0 references
    temporal operators
    0 references
    automatic theorem-proving
    0 references