Infinitary Term Rewriting for Weakly Orthogonal Systems: Properties and Counterexamples

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

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

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 Journal › Article › Academic › peer-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 language	English
Journal	Logical Methods in Computer Science
DOIs	https://doi.org/10.2168/LMCS-10(2:7)2014
Publication status	Published - 2015

UN SDGs

This output contributes to the following UN Sustainable Development Goals (SDGs)

Access to Document

10.2168/LMCS-10(2:7)2014

Persistent URL (handle)

Persistent link

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",

}

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

SN - 1860-5974

JO - Logical Methods in Computer Science

JF - Logical Methods in Computer Science

ER -

Infinitary Term Rewriting for Weakly Orthogonal Systems: Properties and Counterexamples

Abstract

UN SDGs

Access to Document

Persistent URL (handle)

Fingerprint

Cite this