\textit{Once} and \textit{for all} (Q439961): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Changed an Item
Added link to MaRDI item.
links / mardi / namelinks / mardi / name
 

Revision as of 04:06, 30 January 2024

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