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

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
Importer (talk | contribs)
Changed an Item
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 03B44 / rank
 
Normal rank
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 68Q60 / rank
 
Normal rank
Property / zbMATH DE Number
 
Property / zbMATH DE Number: 6067713 / rank
 
Normal rank
Property / zbMATH Keywords
 
temporal logic
Property / zbMATH Keywords: temporal logic / rank
 
Normal rank
Property / zbMATH Keywords
 
past-time operators
Property / zbMATH Keywords: past-time operators / rank
 
Normal rank
Property / zbMATH Keywords
 
expressive power
Property / zbMATH Keywords: expressive power / rank
 
Normal rank
Property / zbMATH Keywords
 
decision procedures
Property / zbMATH Keywords: decision procedures / rank
 
Normal rank
Property / zbMATH Keywords
 
alternating automata
Property / zbMATH Keywords: alternating automata / rank
 
Normal rank

Revision as of 00:50, 30 June 2023

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