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

6 Citationer (Scopus)

44 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	28 aug. 2013
Sider	44-55
DOI	https://doi.org/10.4204/EPTCS.126.4
Status	Udgivet - 28 aug. 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 infinitary 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",

month = aug,

day = "28",

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/8/28

Y1 - 2013/8/28

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

AB - We give a natural complete infinitary 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 -

Infinitary axiomatization of the equational theory of context-free languages

Abstract

Konference

Adgang til dokumentet

Fingeraftryk

Citationsformater