scientific article; zbMATH DE number 1956506

zbMATH Open1029.68095MaRDI QIDQ4417852FDOQ4417852

Authors Luigi Santocanale, André Arnold 

Publication date 30 July 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2620/26200070.htm

Mathematics Subject Classification ID

Applications of game theory (91A80) Specification and verification (program logics, model checking, etc.) (68Q60) Logic in computer science (03B70)

Recommendations

• The variable hierarchy for the games \(\mu \)-calculus
• scientific article; zbMATH DE number 1948152
• Determinacy separations for class games
• \(\mu\)-\(\sigma\) games
• Ambiguous classes in \(\mu\)-calculi hierarchies
• Open determinacy for class games
• Permutation games for the weakly aconjunctive \(\mu \)-calculus
• Games for the \(\mu\)-calculus
• Game representations of classes of piecewise definable functions
• Games in finite model theory

Cited in

(3)

• Ambiguous classes in \(\mu\)-calculi hierarchies
• scientific article; zbMATH DE number 1948152 (Why is no real title available?)
• The variable hierarchy for the games \(\mu \)-calculus

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4417852)