A confluent rewriting system having no computable, one-step, normalizing strategy

Research output: Contribution to journal › Journal article › Research › peer-review

Standard

A confluent rewriting system having no computable, one-step, normalizing strategy. / Simonsen, Jakob Grue.

In: ACM Transactions on Computational Logic, Vol. 16, No. 2, 10, 2015.

Research output: Contribution to journal › Journal article › Research › peer-review

Harvard

Simonsen, JG 2015, 'A confluent rewriting system having no computable, one-step, normalizing strategy', ACM Transactions on Computational Logic, vol. 16, no. 2, 10. https://doi.org/10.1145/2699917

APA

Simonsen, J. G. (2015). A confluent rewriting system having no computable, one-step, normalizing strategy. ACM Transactions on Computational Logic, 16(2), [10]. https://doi.org/10.1145/2699917

Vancouver

Simonsen JG. A confluent rewriting system having no computable, one-step, normalizing strategy. ACM Transactions on Computational Logic. 2015;16(2). 10. https://doi.org/10.1145/2699917

Author

Simonsen, Jakob Grue. / A confluent rewriting system having no computable, one-step, normalizing strategy. In: ACM Transactions on Computational Logic. 2015 ; Vol. 16, No. 2.

Bibtex

@article{7e30687c3b5a4c0c9cd2a11524092ade,
title = "A confluent rewriting system having no computable, one-step, normalizing strategy",
author = "Simonsen, {Jakob Grue}",
year = "2015",
doi = "10.1145/2699917",
language = "English",
volume = "16",
journal = "ACM Transactions on Computational Logic",
issn = "1529-3785",
publisher = "Association for Computing Machinery, Inc.",
number = "2",

}

RIS

TY - JOUR

T1 - A confluent rewriting system having no computable, one-step, normalizing strategy

AU - Simonsen, Jakob Grue

PY - 2015

Y1 - 2015

U2 - 10.1145/2699917

DO - 10.1145/2699917

M3 - Journal article

VL - 16

JO - ACM Transactions on Computational Logic

JF - ACM Transactions on Computational Logic

SN - 1529-3785

IS - 2

M1 - 10

ER -

ID: 156027935