Levels of undecidability in rewriting
Research output: Contribution to journal › Journal article › Research › peer-review
Standard
Levels of undecidability in rewriting. / Endrullis, Jörg; Geuvers, Herman; Simonsen, Jakob Grue; Zantema, Hans.
In: Information and Computation, Vol. 209, No. 2, 2011, p. 227-245.Research output: Contribution to journal › Journal article › Research › peer-review
Harvard
Endrullis, J, Geuvers, H, Simonsen, JG & Zantema, H 2011, 'Levels of undecidability in rewriting', Information and Computation, vol. 209, no. 2, pp. 227-245. https://doi.org/10.1016/j.ic.2010.09.003
APA
Endrullis, J., Geuvers, H., Simonsen, J. G., & Zantema, H. (2011). Levels of undecidability in rewriting. Information and Computation, 209(2), 227-245. https://doi.org/10.1016/j.ic.2010.09.003
Vancouver
Endrullis J, Geuvers H, Simonsen JG, Zantema H. Levels of undecidability in rewriting. Information and Computation. 2011;209(2):227-245. https://doi.org/10.1016/j.ic.2010.09.003
Author
Bibtex
@article{daf22c56589840ddabf83002e98b30e3,
title = "Levels of undecidability in rewriting",
author = "J{\"o}rg Endrullis and Herman Geuvers and Simonsen, {Jakob Grue} and Hans Zantema",
year = "2011",
doi = "10.1016/j.ic.2010.09.003",
language = "English",
volume = "209",
pages = "227--245",
journal = "Information and Computation",
issn = "0890-5401",
publisher = "Academic Press",
number = "2",
}
RIS
TY - JOUR
T1 - Levels of undecidability in rewriting
AU - Endrullis, Jörg
AU - Geuvers, Herman
AU - Simonsen, Jakob Grue
AU - Zantema, Hans
PY - 2011
Y1 - 2011
U2 - 10.1016/j.ic.2010.09.003
DO - 10.1016/j.ic.2010.09.003
M3 - Journal article
VL - 209
SP - 227
EP - 245
JO - Information and Computation
JF - Information and Computation
SN - 0890-5401
IS - 2
ER -
ID: 37441007