Infinitary axiomatization of the equational theory of context-free languages

Niels Bjørn Bugge Grathwohl; Fritz Henglein; Kozen Dexter

doi:10.4204/EPTCS.126.4

Infinitary axiomatization of the equational theory of context-free languages

Niels Bjørn Bugge Grathwohl, Fritz Henglein, Kozen Dexter

Datalogisk Institut

Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

9 Citationer (Scopus)

134 Downloads (Pure)

Abstract

We give a natural complete inﬁnitary 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	https://doi.org/10.4204/EPTCS.126.4
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/Område	Italien
By	Torino
Periode	01/09/2013 → …

Navn	Electronic Proceedings in Theoretical Computer Science
Vol/bind	126
ISSN	2075-2180

Adgang til dokumentet

10.4204/EPTCS.126.4Licens: CC BY

Grathwohl_2013_Infinitary_axiomatizationForlagets udgivne version, 104 KBLicens: CC BY

Citationsformater

Infinitary axiomatization of the equational theory of context-free languages. / Grathwohl, Niels Bjørn Bugge; Henglein, Fritz; Dexter, Kozen.
Proceedings of the Workshop on Fixed Points in Computer Science 2013. red. / David Baelde; Arnaud Carayol. 2013. s. 44-55 (Electronic Proceedings in Theoretical Computer Science, Bind 126).

Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

Grathwohl, NBB, Henglein, F & Dexter, K 2013, Infinitary axiomatization of the equational theory of context-free languages. i D Baelde & A Carayol (red), Proceedings of the Workshop on Fixed Points in Computer Science 2013. Electronic Proceedings in Theoretical Computer Science, bind 126, s. 44-55, Workshop on Fixed Points in Computer Science (FICS 2013), Torino, Italien, 01/09/2013. https://doi.org/10.4204/EPTCS.126.4

@inproceedings{a4b2b2393ad34c4c950574688c8ee698,

title = "Infinitary axiomatization of the equational theory of context-free languages",

abstract = "We give a natural complete inﬁnitary axiomatization of the equational theory of the context-free languages, answering a question of Lei{\ss} (1992).",

author = "Grathwohl, {Niels Bj{\o}rn Bugge} and Fritz Henglein and Kozen Dexter",

year = "2013",

doi = "10.4204/EPTCS.126.4",

language = "English",

series = "Electronic Proceedings in Theoretical Computer Science",

publisher = "Open Publishing Association",

pages = "44--55",

editor = "David Baelde and Arnaud Carayol",

booktitle = "Proceedings of the Workshop on Fixed Points in Computer Science 2013",

note = "Workshop on Fixed Points in Computer Science (FICS 2013) ; Conference date: 01-09-2013",

}

TY - GEN

T1 - Infinitary axiomatization of the equational theory of context-free languages

AU - Grathwohl, Niels Bjørn Bugge

AU - Henglein, Fritz

AU - Dexter, Kozen

N1 - Conference code: 9

PY - 2013

Y1 - 2013

N2 - We give a natural complete inﬁnitary axiomatization of the equational theory of the context-free languages, answering a question of Leiß (1992).

AB - We give a natural complete inﬁnitary axiomatization of the equational theory of the context-free languages, answering a question of Leiß (1992).

U2 - 10.4204/EPTCS.126.4

DO - 10.4204/EPTCS.126.4

M3 - Article in proceedings

T3 - Electronic Proceedings in Theoretical Computer Science

SP - 44

EP - 55

BT - Proceedings of the Workshop on Fixed Points in Computer Science 2013

A2 - Baelde, David

A2 - Carayol, Arnaud

T2 - Workshop on Fixed Points in Computer Science (FICS 2013)

Y2 - 1 September 2013

ER -