A NON-REGULAR LANGUAGE OF INFINITE TREES THAT IS RECOGNIZED BY A SORT-WISE FINITE ALGEBRA.
Saved in:
| Title: | A NON-REGULAR LANGUAGE OF INFINITE TREES THAT IS RECOGNIZED BY A SORT-WISE FINITE ALGEBRA. |
|---|---|
| Authors: | BOJAŃCZYK, MIKOŁAJ1, bojan@mimuw.edu.pl, KLIN, BARTEK1, klin@mimuw.edu.pl |
| Source: | Logical Methods in Computer Science (LMCS); Oct2019, Vol. 15 Issue 4, p1-13, 13p, 5 Graphs |
| Database: | Applied Science & Technology Source |
| ISSN: | 18605974 |
|---|---|
| DOI: | 10.23638/LMCS-15(4:11)2019 |