Remarks on Thatte's transformation of term rewriting systems

B. Luttik, P. Rodenburg, R.M. Verma

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

Original language	English
Pages (from-to)	66-87
Journal	Information and Computation
Volume	195
Issue number	1-2
DOIs	https://doi.org/10.1016/j.ic.2003.09.006
Publication status	Published - 2004

Access to Document

@article{f4972a02f7fd4763a560ebf76f3ab4dd,

title = "Remarks on Thatte's transformation of term rewriting systems",

author = "B. Luttik and P. Rodenburg and R.M. Verma",

year = "2004",

doi = "10.1016/j.ic.2003.09.006",

language = "English",

volume = "195",

pages = "66--87",

journal = "Information and Computation",

issn = "0890-5401",

publisher = "Elsevier",

number = "1-2",

}