Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revision Both sides next revision | ||
|
sav08:evaluating_formulas_in_finite_structures [2008/03/19 00:45] vkuncak |
sav08:evaluating_formulas_in_finite_structures [2008/03/19 00:46] vkuncak |
||
|---|---|---|---|
| Line 34: | Line 34: | ||
| ===== References ===== | ===== References ===== | ||
| - | * [[http://citeseer.ist.psu.edu/burch90symbolic.html|Symbolic Model Checking: 10 20 States and Beyond]] | + | * [[http://citeseer.ist.psu.edu/burch90symbolic.html|Symbolic Model Checking: 10^20 States and Beyond]] |
| * Neil Immerman: Descriptive Complexity, Springer | * Neil Immerman: Descriptive Complexity, Springer | ||
| | | ||