Decidability for branching time (Q1155599): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: The unreal future / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5556395 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Decidability of Second-Order Theories and Automata on Infinite Trees / rank
 
Normal rank

Latest revision as of 12:31, 13 June 2024

scientific article
Language Label Description Also known as
English
Decidability for branching time
scientific article

    Statements

    Decidability for branching time (English)
    0 references
    0 references
    1980
    0 references
    trees
    0 references
    modality
    0 references
    monadic logic
    0 references
    tense logic
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references