The complexity of the temporal logic with ``until'' over general linear time (Q1400578)

From MaRDI portal
scientific article
Language Label Description Also known as
English
The complexity of the temporal logic with ``until'' over general linear time
scientific article

    Statements

    The complexity of the temporal logic with ``until'' over general linear time (English)
    0 references
    13 August 2003
    0 references
    0 references

    Identifiers