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