On the Adequacy of Graph Rewriting for Stimulating Term Rewriting

J. R. Kennaway, J. W. Klop, M. R. Sleep, F. J. de Vries

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

52 Citations (Scopus)

Original language	English
Pages (from-to)	493-523
Number of pages	31
Journal	ACM Transactions on Programming Languages and Systems
Volume	16
Issue number	3
DOIs	https://doi.org/10.1145/177492.177577
Publication status	Published - May 1994

Access to Document

@article{371d6ac1079c4a2eb91d8c2db98e809b,

title = "On the Adequacy of Graph Rewriting for Stimulating Term Rewriting",

author = "Kennaway, {J. R.} and Klop, {J. W.} and Sleep, {M. R.} and {de Vries}, {F. J.}",

year = "1994",

month = may,

doi = "10.1145/177492.177577",

language = "English",

volume = "16",

pages = "493--523",

journal = "ACM Transactions on Programming Languages and Systems",

issn = "0164-0925",

publisher = "Association for Computing Machinery (ACM)",

number = "3",

}

TY - JOUR

T1 - On the Adequacy of Graph Rewriting for Stimulating Term Rewriting

AU - Kennaway, J. R.

AU - Klop, J. W.

AU - Sleep, M. R.

AU - de Vries, F. J.

PY - 1994/5

Y1 - 1994/5

U2 - 10.1145/177492.177577

DO - 10.1145/177492.177577

M3 - Article

SN - 0164-0925

VL - 16

SP - 493

EP - 523

JO - ACM Transactions on Programming Languages and Systems

JF - ACM Transactions on Programming Languages and Systems

IS - 3

ER -