Confluence of indirection reductions in graph rewrite systems

P.M. van den Broek

doi:10.1016/0020-0190(88)90052-X

Confluence of indirection reductions in graph rewrite systems

P.M. van den Broek

Research output: Contribution to journal › Article › Academic › peer-review

160 Downloads (Pure)

Abstract

It is shown that a graph rewrite system which has indirection reductions only has the confluence property.

Original language	Undefined
Article number	10.1016/0020-0190(88)90052-X
Pages (from-to)	143-148
Number of pages	6
Journal	Information processing letters
Volume	29
Issue number	3
DOIs	https://doi.org/10.1016/0020-0190(88)90052-X
Publication status	Published - 26 Oct 1988

Keywords

Confluence property
indirection graph
EWI-10077
graph rewrite system
IR-64085

Access to Document

10.1016/0020-0190(88)90052-X

Cite this

@article{be274bf86827479894dc3f4f0010ab3b,

title = "Confluence of indirection reductions in graph rewrite systems",

abstract = "It is shown that a graph rewrite system which has indirection reductions only has the confluence property.",

keywords = "Confluence property, indirection graph, EWI-10077, graph rewrite system, IR-64085",

author = "{van den Broek}, P.M.",

year = "1988",

month = oct,

day = "26",

doi = "10.1016/0020-0190(88)90052-X",

language = "Undefined",

volume = "29",

pages = "143--148",

journal = "Information processing letters",

issn = "0020-0190",

publisher = "Elsevier B.V.",

number = "3",

}

TY - JOUR

T1 - Confluence of indirection reductions in graph rewrite systems

AU - van den Broek, P.M.

PY - 1988/10/26

Y1 - 1988/10/26

N2 - It is shown that a graph rewrite system which has indirection reductions only has the confluence property.

AB - It is shown that a graph rewrite system which has indirection reductions only has the confluence property.

KW - Confluence property

KW - indirection graph

KW - EWI-10077

KW - graph rewrite system

KW - IR-64085

U2 - 10.1016/0020-0190(88)90052-X

DO - 10.1016/0020-0190(88)90052-X

M3 - Article

SN - 0020-0190

VL - 29

SP - 143

EP - 148

JO - Information processing letters

JF - Information processing letters

IS - 3

M1 - 10.1016/0020-0190(88)90052-X

ER -