Standard
A hierarchy of fast reversible turing machines. / Axelsen, Holger Bock; Jakobi, Sebastian; Kutrib, Martin; Malcher, Andreas.
Reversible computation: 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings. ed. / Jean Krivine; Jean-Bernard Stefani. Springer, 2015. p. 29-44 (Lecture notes in computer science, Vol. 9138).
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Harvard
Axelsen, HB, Jakobi, S, Kutrib, M & Malcher, A 2015,
A hierarchy of fast reversible turing machines. in J Krivine & J-B Stefani (eds),
Reversible computation: 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings. Springer, Lecture notes in computer science, vol. 9138, pp. 29-44, International Conference, RC 2015, Grenoble, France,
16/07/2015.
https://doi.org/10.1007/978-3-319-20860-2_2
APA
Axelsen, H. B., Jakobi, S., Kutrib, M., & Malcher, A. (2015).
A hierarchy of fast reversible turing machines. In J. Krivine, & J-B. Stefani (Eds.),
Reversible computation: 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings (pp. 29-44). Springer. Lecture notes in computer science Vol. 9138
https://doi.org/10.1007/978-3-319-20860-2_2
Vancouver
Axelsen HB, Jakobi S, Kutrib M, Malcher A.
A hierarchy of fast reversible turing machines. In Krivine J, Stefani J-B, editors, Reversible computation: 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings. Springer. 2015. p. 29-44. (Lecture notes in computer science, Vol. 9138).
https://doi.org/10.1007/978-3-319-20860-2_2
Author
Axelsen, Holger Bock ; Jakobi, Sebastian ; Kutrib, Martin ; Malcher, Andreas. / A hierarchy of fast reversible turing machines. Reversible computation: 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings. editor / Jean Krivine ; Jean-Bernard Stefani. Springer, 2015. pp. 29-44 (Lecture notes in computer science, Vol. 9138).
Bibtex
@inproceedings{3b898582938b4e8a8fff27d715bbaee1,
title = "A hierarchy of fast reversible turing machines",
keywords = "Reversible Turing machines, Structural computational complexity, Time hierarchies, Fast computations, Real time vs. linear time",
author = "Axelsen, {Holger Bock} and Sebastian Jakobi and Martin Kutrib and Andreas Malcher",
year = "2015",
doi = "10.1007/978-3-319-20860-2_2",
language = "English",
isbn = "978-3-319-20859-6",
series = "Lecture notes in computer science",
publisher = "Springer",
pages = "29--44",
editor = "Jean Krivine and Jean-Bernard Stefani",
booktitle = "Reversible computation",
address = "Switzerland",
note = "null ; Conference date: 16-07-2015 Through 17-07-2015",
}
RIS
TY - GEN
T1 - A hierarchy of fast reversible turing machines
AU - Axelsen, Holger Bock
AU - Jakobi, Sebastian
AU - Kutrib, Martin
AU - Malcher, Andreas
N1 - Conference code: 7
PY - 2015
Y1 - 2015
KW - Reversible Turing machines
KW - Structural computational complexity
KW - Time hierarchies
KW - Fast computations
KW - Real time vs. linear time
U2 - 10.1007/978-3-319-20860-2_2
DO - 10.1007/978-3-319-20860-2_2
M3 - Article in proceedings
SN - 978-3-319-20859-6
T3 - Lecture notes in computer science
SP - 29
EP - 44
BT - Reversible computation
A2 - Krivine, Jean
A2 - Stefani, Jean-Bernard
PB - Springer
Y2 - 16 July 2015 through 17 July 2015
ER -