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 |
Size | Format |
15924-1.pdf | | 153Kb | Adobe PDF | View/Open |
|
All items in DSpace are protected by copyright, with all rights reserved.
|