Reasoning About Strategies: On the Model-Checking Problem (English)
Free access
- New search for: Mogavero, Fabio
- New search for: Murano, Aniello
- New search for: Perelli, Giuseppe
- New search for: Vardi, Moshe Y.
- New search for: Mogavero, Fabio
- New search for: Murano, Aniello
- New search for: Perelli, Giuseppe
- New search for: Vardi, Moshe Y.
2011
- Preprint / Electronic Resource
-
Title:Reasoning About Strategies: On the Model-Checking Problem
-
Contributors:Mogavero, Fabio ( author ) / Murano, Aniello ( author ) / Perelli, Giuseppe ( author ) / Vardi, Moshe Y. ( author )
-
Publisher:
- New search for: arXiv
-
Publication date:2011
-
Type of media:Preprint
-
Type of material:Electronic Resource
-
Language:English
- New search for: 68Q60 / 03B70 / 03B44 / 03B60
- Further information on Mathematics Subject Classification
-
Classification:
-
Licence:
-
Source: