Infinitary axiomatization of the equational theory of context-free languages
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Documents
- Grathwohl_2013_Infinitary_axiomatization
Final published version, 104 KB, PDF document
We give a natural complete infinitary axiomatization of the equational theory of the context-free languages, answering a question of Leiß (1992).
| Original language | English |
|---|---|
| Title of host publication | Proceedings of the Workshop on Fixed Points in Computer Science 2013 |
| Editors | David Baelde, Arnaud Carayol |
| Number of pages | 12 |
| Publication date | 2013 |
| Pages | 44-55 |
| DOIs | |
| Publication status | Published - 2013 |
| Event | Workshop on Fixed Points in Computer Science (FICS 2013) - Torino, Italy Duration: 1 Sep 2013 → … Conference number: 9 |
Conference
| Conference | Workshop on Fixed Points in Computer Science (FICS 2013) |
|---|---|
| Nummer | 9 |
| Land | Italy |
| By | Torino |
| Periode | 01/09/2013 → … |
| Series | Electronic Proceedings in Theoretical Computer Science |
|---|---|
| Volume | 126 |
| ISSN | 2075-2180 |
Number of downloads are based on statistics from Google Scholar and www.ku.dk
No data available
ID: 169290345