No label defined (Q4945224)

From MaRDI portal
scientific article; zbMATH DE number 1424034
Language Label Description Also known as
English
No label defined
scientific article; zbMATH DE number 1424034

    Statements

    0 references
    0 references
    5 September 2000
    0 references
    0 references
    quantitative temporal logic
    0 references
    monadic predicate logic
    0 references
    real line
    0 references
    decidability
    0 references