Standard
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. ed. / David Baelde; Arnaud Carayol. 2013. p. 44-55 (Electronic Proceedings in Theoretical Computer Science, Vol. 126).
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Harvard
Grathwohl, NBB
, Henglein, F & Dexter, K 2013,
Infinitary axiomatization of the equational theory of context-free languages. in D Baelde & A Carayol (eds),
Proceedings of the Workshop on Fixed Points in Computer Science 2013. Electronic Proceedings in Theoretical Computer Science, vol. 126, pp. 44-55, Workshop on Fixed Points in Computer Science (FICS 2013), Torino, Italy,
01/09/2013.
https://doi.org/10.4204/EPTCS.126.4APA
Grathwohl, N. B. B.
, Henglein, F., & Dexter, K. (2013).
Infinitary axiomatization of the equational theory of context-free languages. In D. Baelde, & A. Carayol (Eds.),
Proceedings of the Workshop on Fixed Points in Computer Science 2013 (pp. 44-55). Electronic Proceedings in Theoretical Computer Science Vol. 126
https://doi.org/10.4204/EPTCS.126.4Vancouver
Grathwohl NBB
, Henglein F, Dexter K.
Infinitary axiomatization of the equational theory of context-free languages. In Baelde D, Carayol A, editors, Proceedings of the Workshop on Fixed Points in Computer Science 2013. 2013. p. 44-55. (Electronic Proceedings in Theoretical Computer Science, Vol. 126).
https://doi.org/10.4204/EPTCS.126.4Author
Grathwohl, Niels Bjørn Bugge ; Henglein, Fritz ; Dexter, Kozen. / Infinitary axiomatization of the equational theory of context-free languages. Proceedings of the Workshop on Fixed Points in Computer Science 2013. editor / David Baelde ; Arnaud Carayol. 2013. pp. 44-55 (Electronic Proceedings in Theoretical Computer Science, Vol. 126).
Bibtex
@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",
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 = "null ; Conference date: 01-09-2013",
}
RIS
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 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
Y2 - 1 September 2013
ER -
