Standard
Reversible shrinking two-pushdown automata. / Axelsen, Holger Bock; Holzer, Markus; Kutrib, Martin; Malcher, Andreas.
Language and automata theory and applications: 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings. ed. / Adrian-Horia Dediu; Jan Janoušek; Carlos Martín-Vide; Bianca Truthe. Springer, 2016. p. 579-591.
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Harvard
Axelsen, HB, Holzer, M, Kutrib, M & Malcher, A 2016,
Reversible shrinking two-pushdown automata. in A-H Dediu, J Janoušek, C Martín-Vide & B Truthe (eds),
Language and automata theory and applications: 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings. Springer, pp. 579-591, International Conference, LATA 2016, Prague, Czech Republic,
14/03/2016.
https://doi.org/10.1007/978-3-319-30000-9_44
APA
Axelsen, H. B., Holzer, M., Kutrib, M., & Malcher, A. (2016).
Reversible shrinking two-pushdown automata. In A-H. Dediu, J. Janoušek, C. Martín-Vide, & B. Truthe (Eds.),
Language and automata theory and applications: 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings (pp. 579-591). Springer.
https://doi.org/10.1007/978-3-319-30000-9_44
Vancouver
Axelsen HB, Holzer M, Kutrib M, Malcher A.
Reversible shrinking two-pushdown automata. In Dediu A-H, Janoušek J, Martín-Vide C, Truthe B, editors, Language and automata theory and applications: 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings. Springer. 2016. p. 579-591
https://doi.org/10.1007/978-3-319-30000-9_44
Author
Axelsen, Holger Bock ; Holzer, Markus ; Kutrib, Martin ; Malcher, Andreas. / Reversible shrinking two-pushdown automata. Language and automata theory and applications: 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings. editor / Adrian-Horia Dediu ; Jan Janoušek ; Carlos Martín-Vide ; Bianca Truthe. Springer, 2016. pp. 579-591
Bibtex
@inproceedings{8aff3423ec1b4472bbe8f5afe3e3d471,
title = "Reversible shrinking two-pushdown automata",
author = "Axelsen, {Holger Bock} and Markus Holzer and Martin Kutrib and Andreas Malcher",
year = "2016",
doi = "10.1007/978-3-319-30000-9_44",
language = "English",
isbn = "978-3-319-29999-0",
pages = "579--591",
editor = "Adrian-Horia Dediu and Jan Janou{\v s}ek and Carlos Mart{\'i}n-Vide and Bianca Truthe",
booktitle = "Language and automata theory and applications",
publisher = "Springer",
address = "Switzerland",
note = "null ; Conference date: 14-03-2016 Through 18-03-2016",
}
RIS
TY - GEN
T1 - Reversible shrinking two-pushdown automata
AU - Axelsen, Holger Bock
AU - Holzer, Markus
AU - Kutrib, Martin
AU - Malcher, Andreas
N1 - Conference code: 10
PY - 2016
Y1 - 2016
U2 - 10.1007/978-3-319-30000-9_44
DO - 10.1007/978-3-319-30000-9_44
M3 - Article in proceedings
SN - 978-3-319-29999-0
SP - 579
EP - 591
BT - Language and automata theory and applications
A2 - Dediu, Adrian-Horia
A2 - Janoušek, Jan
A2 - Martín-Vide, Carlos
A2 - Truthe, Bianca
PB - Springer
Y2 - 14 March 2016 through 18 March 2016
ER -