Modular strategies for recursive game graphs (Q2368953): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Synthesis of interface specifications for Java classes / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4551151 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Alternating-time temporal logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Computer Aided Verification / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2753756 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4535054 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Reachability analysis of pushdown automata: Application to model-checking / rank
 
Normal rank
Property / cites work
 
Property / cites work: Solving Sequential Conditions by Finite-State Strategies / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4737201 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4804914 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Alternation / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4353562 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4198056 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Deciding emptiness for stack automata on infinite trees / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4804923 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On full abstraction for PCF: I, II and III / rank
 
Normal rank
Property / cites work
 
Property / cites work: Church's Problem Revisited / rank
 
Normal rank
Property / cites work
 
Property / cites work: Module checking / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4484484 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Infinite games played on finite graphs / rank
 
Normal rank
Property / cites work
 
Property / cites work: The theory of ends, pushdown automata, and second-order logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4205072 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Think globally, act locally: decentralized supervisory control / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4804886 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Pushdown processes: Games and model-checking / rank
 
Normal rank

Latest revision as of 12:11, 24 June 2024

scientific article
Language Label Description Also known as
English
Modular strategies for recursive game graphs
scientific article

    Statements

    Modular strategies for recursive game graphs (English)
    0 references
    0 references
    0 references
    0 references
    28 April 2006
    0 references
    Model-checking
    0 references
    Games in verification
    0 references
    Pushdown systems
    0 references
    0 references
    0 references
    0 references

    Identifiers