SEPARATING REGULAR LANGUAGES WITH TWO QUANTIFIER ALTERNATIONS.
Saved in:
| Title: | SEPARATING REGULAR LANGUAGES WITH TWO QUANTIFIER ALTERNATIONS. |
|---|---|
| Authors: | PLACE, THOMAS1, tplace@labri.fr |
| Source: | Logical Methods in Computer Science (LMCS); 2018, Vol. 14 Issue 4, p1-58, 58p, 2 Diagrams |
| Database: | Applied Science & Technology Source |
| ISSN: | 18605974 |
|---|---|
| DOI: | 10.23638/LMCS-14(4:16)2018 |