Going Higher in First-Order Quantifier Alternation Hierarchies on Words.
Saved in:
| Title: | Going Higher in First-Order Quantifier Alternation Hierarchies on Words. |
|---|---|
| Authors: | PLACE, THOMAS1 tplace@labri.fr, ZEITOUN, MARC2 mz@labri.fr |
| Source: | Journal of the ACM. Apr2019, Vol. 66 Issue 2, p1-65. 65p. |
| Database: | Mathematics Source |
| ISSN: | 00045411 |
|---|---|
| DOI: | 10.1145/3303991 |
