Characterization and Decidability of FC-Definable Regular Languages
| Title: | Characterization and Decidability of FC-Definable Regular Languages |
|---|---|
| Authors: | Thompson, Sam M.; Schweikardt, Nicole; Freydenberger, Dominik D. |
| Source: | 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) LICS Logic in Computer Science (LICS), 2025 40th Annual ACM/IEEE Symposium on. :344-356 Jun, 2025 |
| Relation: | 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) |
| Database: | IEEE Xplore Digital Library |