Slides.
Slides.
Slides.
SHOW LESS
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
STEPHAN KREUTZER COMPLEXITY OF MODEL-CHECKING PROBLEMS 31/81<br />
INTRODUCTION COMPLEXITY UPPER BOUNDS COMPOSITION LOCALITY LOCALISATION GRIDS GRID-LIKE MINORS LABELLED WEBS<br />
The Locality Method for First-Order Logic