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. 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 › fagfællebedømt
Harvard
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
APA
Grathwohl, N. B. B.
, 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 (s. 44-55). Electronic Proceedings in Theoretical Computer Science Bind 126
https://doi.org/10.4204/EPTCS.126.4
Vancouver
Grathwohl NBB
, Henglein F, Dexter K.
Infinitary axiomatization of the equational theory of context-free languages. I Baelde D, Carayol A, red., Proceedings of the Workshop on Fixed Points in Computer Science 2013. 2013. s. 44-55. (Electronic Proceedings in Theoretical Computer Science, Bind 126).
https://doi.org/10.4204/EPTCS.126.4
Author
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. red. / David Baelde ; Arnaud Carayol. 2013. s. 44-55 (Electronic Proceedings in Theoretical Computer Science, Bind 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 -