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 |
Be the first to leave a comment!
