Infinitary axiomatization of the equational theory of context-free languages
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Dokumenter
- Grathwohl_2013_Infinitary_axiomatization
Forlagets udgivne version, 104 KB, PDF-dokument
We give a natural complete infinitary axiomatization of the equational theory of the context-free languages, answering a question of Leiß (1992).
| Originalsprog | Engelsk |
|---|---|
| Titel | Proceedings of the Workshop on Fixed Points in Computer Science 2013 |
| Redaktører | David Baelde, Arnaud Carayol |
| Antal sider | 12 |
| Publikationsdato | 2013 |
| Sider | 44-55 |
| DOI | |
| Status | Udgivet - 2013 |
| Begivenhed | Workshop on Fixed Points in Computer Science (FICS 2013) - Torino, Italien Varighed: 1 sep. 2013 → … Konferencens nummer: 9 |
Konference
| Konference | Workshop on Fixed Points in Computer Science (FICS 2013) |
|---|---|
| Nummer | 9 |
| Land | Italien |
| By | Torino |
| Periode | 01/09/2013 → … |
| Navn | Electronic Proceedings in Theoretical Computer Science |
|---|---|
| Vol/bind | 126 |
| ISSN | 2075-2180 |
Antal downloads er baseret på statistik fra Google Scholar og www.ku.dk
Ingen data tilgængelig
ID: 169290345