Bounded variability of metric temporal logic (Q2408743)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Bounded variability of metric temporal logic
scientific article

    Statements

    Bounded variability of metric temporal logic (English)
    0 references
    0 references
    0 references
    13 October 2017
    0 references
    metric temporal logic
    0 references
    bounded variability
    0 references
    decidability
    0 references
    complexity
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references