\textit{Once} and \textit{for all} (Q439961)

From MaRDI portal
Revision as of 13:21, 5 July 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
scientific article
Language Label Description Also known as
English
\textit{Once} and \textit{for all}
scientific article

    Statements

    \textit{Once} and \textit{for all} (English)
    0 references
    0 references
    0 references
    0 references
    17 August 2012
    0 references
    temporal logic
    0 references
    past-time operators
    0 references
    expressive power
    0 references
    decision procedures
    0 references
    alternating automata
    0 references

    Identifiers