Simulation of two-way pushdown automata revisited
Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
Standard
Simulation of two-way pushdown automata revisited. / Glück, Robert.
Semantics, abstract interpretation, and reasoning about programs. ed. / Anindya Banerjee; Olivier Danvy; Kyung-Goo Doh; John Hatcliff. Vol. 129 2013. p. 250-258 (Electronic Proceedings in Theoretical Computer Science).Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
Harvard
Glück, R 2013, Simulation of two-way pushdown automata revisited. in A Banerjee, O Danvy, K-G Doh & J Hatcliff (eds), Semantics, abstract interpretation, and reasoning about programs. vol. 129, Electronic Proceedings in Theoretical Computer Science, pp. 250-258. https://doi.org/10.4204/EPTCS.129.15
APA
Glück, R. (2013). Simulation of two-way pushdown automata revisited. In A. Banerjee, O. Danvy, K-G. Doh, & J. Hatcliff (Eds.), Semantics, abstract interpretation, and reasoning about programs (Vol. 129, pp. 250-258). Electronic Proceedings in Theoretical Computer Science https://doi.org/10.4204/EPTCS.129.15
Vancouver
Glück R. Simulation of two-way pushdown automata revisited. In Banerjee A, Danvy O, Doh K-G, Hatcliff J, editors, Semantics, abstract interpretation, and reasoning about programs. Vol. 129. 2013. p. 250-258. (Electronic Proceedings in Theoretical Computer Science). https://doi.org/10.4204/EPTCS.129.15
Author
Bibtex
@inbook{0ae8942cd6d84deb9dbbdc56db2c59ee,
title = "Simulation of two-way pushdown automata revisited",
author = "Robert Gl{\"u}ck",
year = "2013",
doi = "10.4204/EPTCS.129.15",
language = "English",
volume = "129",
series = "Electronic Proceedings in Theoretical Computer Science",
publisher = "Open Publishing Association",
pages = "250--258",
editor = "Anindya Banerjee and Olivier Danvy and Kyung-Goo Doh and John Hatcliff",
booktitle = "Semantics, abstract interpretation, and reasoning about programs",
}
RIS
TY - CHAP
T1 - Simulation of two-way pushdown automata revisited
AU - Glück, Robert
PY - 2013
Y1 - 2013
U2 - 10.4204/EPTCS.129.15
DO - 10.4204/EPTCS.129.15
M3 - Book chapter
VL - 129
T3 - Electronic Proceedings in Theoretical Computer Science
SP - 250
EP - 258
BT - Semantics, abstract interpretation, and reasoning about programs
A2 - Banerjee, Anindya
A2 - Danvy, Olivier
A2 - Doh, Kyung-Goo
A2 - Hatcliff, John
ER -
ID: 169413222