REGISTER AUTOMATA WITH EXTREMA CONSTRAINTS, AND AN APPLICATION TO TWO-VARIABLE LOGIC.
Saved in:
| Title: | REGISTER AUTOMATA WITH EXTREMA CONSTRAINTS, AND AN APPLICATION TO TWO-VARIABLE LOGIC. |
|---|---|
| Authors: | TORUŃCZYK, SZYMON1, szymtor@mimuw.edu.pl, ZEUME, THOMAS2, thomas.zeume@rub.de |
| Source: | Logical Methods in Computer Science (LMCS); 2022, Vol. 18 Issue 1, p1-38, 38p, 4 Graphs |
| Database: | Applied Science & Technology Source |
| ISSN: | 18605974 |
|---|---|
| DOI: | 10.46298/LMCS-18(1:42)2022 |
