On a Temporal Logic of Prefixes and Infixes. (Q5089182)

From MaRDI portal
scientific article; zbMATH DE number 7559392
Language Label Description Also known as
English
On a Temporal Logic of Prefixes and Infixes.
scientific article; zbMATH DE number 7559392

    Statements

    0 references
    0 references
    0 references
    0 references
    18 July 2022
    0 references
    interval temporal logic
    0 references
    star-free regular languages
    0 references
    satisfiability
    0 references
    complexity
    0 references
    On a Temporal Logic of Prefixes and Infixes. (English)
    0 references

    Identifiers