Loading...
Please wait, while we are loading the content...
Similar Documents
The Monadic Quantiier Alternation Hierarchy over Graphs Is Innnite
| Content Provider | Semantic Scholar |
|---|---|
| Author | Thomasemail, Wolfgang |
| Copyright Year | 1998 |
| Abstract | We show that the monadic second-order quantiier alternation hierarchy over nite directed graphs and over nite two-dimensional grids is innnite. For this purpose we investigate sets of grids where the width is a function in the height. The innniteness of the hierarchy is then witnessed by n-fold exponential functions for increasing integers n. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://www.informatik.uni-kiel.de/~oma/MSOleq.ps.Z |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |