BibTeX
@MISC{Grädel02modelchecking,
author = {Erich Grädel},
title = {Model Checking Games},
year = {2002}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
We survey evaluation games for first-order logic and least fixed point logics, and discuss their algorithmic complexity.
