Infinitary axiomatization of the equational theory of context-free languages
Research output: Contribution to journal › Journal article › Research › peer-review
Original language | English |
---|---|
Journal | Fundamenta Informaticae |
Volume | 150 |
Issue number | 3-4 |
Pages (from-to) | 241-257 |
Number of pages | 17 |
ISSN | 0169-2968 |
DOIs | |
Publication status | Published - 2017 |
- Context free languages, Kleene algebra, algebraically complete semirings, Conway semirings, mu-semiring
Research areas
ID: 179528368