Infinitary Term Rewriting for Weakly Orthogonal Systems: Properties and Counterexamples

J. Endrullis, C.A. Grabmayer, R.D.A. Hendriks, V. van Oostrom

Research output: Contribution to JournalArticleAcademicpeer-review

Abstract

We present some contributions to the theory of infinitary rewriting for weakly orthogonal term rewrite systems, in which critical pairs may occur provided they are trivial. We show that the infinitary unique normal form property (UN
Original languageEnglish
JournalLogical Methods in Computer Science
DOIs
Publication statusPublished - 2015

Fingerprint

Term Rewriting
Rewriting
Normal Form
Counterexample
Trivial
Term

Cite this

@article{a754e2cb933f49a280cde97add379577,
title = "Infinitary Term Rewriting for Weakly Orthogonal Systems: Properties and Counterexamples",
abstract = "We present some contributions to the theory of infinitary rewriting for weakly orthogonal term rewrite systems, in which critical pairs may occur provided they are trivial. We show that the infinitary unique normal form property (UN",
author = "J. Endrullis and C.A. Grabmayer and R.D.A. Hendriks and {van Oostrom}, V.",
year = "2015",
doi = "10.2168/LMCS-10(2:7)2014",
language = "English",
journal = "Logical Methods in Computer Science",
issn = "1860-5974",
publisher = "Technischen Universitat Braunschweig",

}

Infinitary Term Rewriting for Weakly Orthogonal Systems: Properties and Counterexamples. / Endrullis, J.; Grabmayer, C.A.; Hendriks, R.D.A.; van Oostrom, V.

In: Logical Methods in Computer Science, 2015.

Research output: Contribution to JournalArticleAcademicpeer-review

TY - JOUR

T1 - Infinitary Term Rewriting for Weakly Orthogonal Systems: Properties and Counterexamples

AU - Endrullis, J.

AU - Grabmayer, C.A.

AU - Hendriks, R.D.A.

AU - van Oostrom, V.

PY - 2015

Y1 - 2015

N2 - We present some contributions to the theory of infinitary rewriting for weakly orthogonal term rewrite systems, in which critical pairs may occur provided they are trivial. We show that the infinitary unique normal form property (UN

AB - We present some contributions to the theory of infinitary rewriting for weakly orthogonal term rewrite systems, in which critical pairs may occur provided they are trivial. We show that the infinitary unique normal form property (UN

U2 - 10.2168/LMCS-10(2:7)2014

DO - 10.2168/LMCS-10(2:7)2014

M3 - Article

JO - Logical Methods in Computer Science

JF - Logical Methods in Computer Science

SN - 1860-5974

ER -