Back to Search
Start Over
Model Checking Games.
- Source :
- ENTCS: Electronic Notes in Theoretical Computer Science; Oct2002, Vol. 67, p1-20, 20p
- Publication Year :
- 2002
-
Abstract
- We survey evaluation games for first-order logic and least fixed point logics, and discuss their algorithmic complexity. [Copyright &y& Elsevier]
- Subjects :
- FIRST-order logic
MODERN logic
MATHEMATICAL logic
TYPE theory
MATHEMATICS
Subjects
Details
- Language :
- English
- ISSN :
- 15710661
- Volume :
- 67
- Database :
- Supplemental Index
- Journal :
- ENTCS: Electronic Notes in Theoretical Computer Science
- Publication Type :
- Periodical
- Accession number :
- 15819144
- Full Text :
- https://doi.org/10.1016/S1571-0661(04)80538-3