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

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

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

Cited In (3)

• Title not available (Why is that?)
• The variable hierarchy for the games \(\mu \)-calculus
• Ambiguous classes in \(\mu\)-calculi hierarchies

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)