JAIST Repository >
School of Information Science >
Articles >
Journal Articles >

Please use this identifier to cite or link to this item: http://hdl.handle.net/10119/9508

Title: Weakly-non-overlapping non-collapsing shallow term rewriting systems are confluent
Authors: Sakai, Masahiko
Ogawa, Mizuhito
Keywords: term rewriting system
confluence
non-left linear
Issue Date: 2010-09-15
Publisher: Elsevier
Magazine name: Information Processing Letters
Volume: 110
Number: 18-19
Start page: 810
End page: 814
DOI: 10.1016/j.ipl.2010.06.015
Abstract: This paper shows that {weakly}-non-overlapping, non-collapsing andshallow term rewriting systems are confluent, which is a newsufficient condition on confluence for non-left-linear systems.
Rights: NOTICE: This is the author’s version of a work accepted for publication by Elsevier. Changes resulting from the publishing process, including peer review, editing, corrections, structural formatting and other quality control mechanisms, may not be reflected in this document. Changes may have been made to this work since it was submitted for publication. A definitive version was subsequently published in Masahiko Sakai, Mizuhito Ogawa, Information Processing Letters, 110(18-19), 2010, 810-814, http://dx.doi.org/10.1016/j.ipl.2010.06.015
URI: http://hdl.handle.net/10119/9508
Material Type: author
Appears in Collections:b10-1. 雑誌掲載論文 (Journal Articles)

Files in This Item:

File Description SizeFormat
15924-1.pdf153KbAdobe PDFView/Open

All items in DSpace are protected by copyright, with all rights reserved.

 


Contact : Library Information Section, Japan Advanced Institute of Science and Technology