Levels of undecidability in rewriting

Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

Standard

Levels of undecidability in rewriting. / Endrullis, Jörg; Geuvers, Herman; Simonsen, Jakob Grue; Zantema, Hans.

I: Information and Computation, Bind 209, Nr. 2, 2011, s. 227-245.

Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

Harvard

Endrullis, J, Geuvers, H, Simonsen, JG & Zantema, H 2011, 'Levels of undecidability in rewriting', Information and Computation, bind 209, nr. 2, s. 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

Endrullis, Jörg ; Geuvers, Herman ; Simonsen, Jakob Grue ; Zantema, Hans. / Levels of undecidability in rewriting. I: Information and Computation. 2011 ; Bind 209, Nr. 2. s. 227-245.

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