Innermost Reachability and Context Sensitive Reachability Properties Are Decidable for Linear Right-Shallow Term Rewriting Systems

Journal name: Rewriting Techniques and Applications, Lecture Notes in Computer Science 5117

Notes on use

Note (General)：: 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings

Detailed bibliographic record

Summary, etc.：: A reachability problem is a problem used to decide whether s is reachable to t by R or not for a given two terms s, t and a term rewriting system R. S...

Holdings of Libraries in Japan

This page shows libraries in Japan other than the National Diet Library that hold the material.

Please contact your local library for information on how to use materials or whether it is possible to request materials from the holding libraries.

other

NAGOYA Repository
Digital
You can check the holdings of institutions and databases with which Institutional Repositories DataBase(IRDB)(Institutional Repository) is linked at the site of Institutional Repositories DataBase(IRDB)(Institutional Repository).
NAGOYA Repository

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Material Type: 記事
Title: Innermost Reachability and Context Sensitive Reachability Properties Are Decidable for Linear Right-Shallow Term Rewriting Systems
Author/Editor: Kojima, Yoshiharu
Sakai, Masahiko
Author Heading: Kojima, Yoshiharu
Sakai, Masahiko
Publication, Distribution, etc.: Springer
Publication Date: 2008
Publication Date (W3CDTF): 2008
Periodical title: Rewriting Techniques and Applications, Lecture Notes in Computer Science
No. or year of volume/issue: 5117
Volume: 5117
Pages: 187-201
ISSN (Periodical Title): PISSN : 0302-9743
Text Language Code: eng
Target Audience: 一般
Note (General): 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings
Format (IMT): application/pdf
Source: rta08.pdf （fulltext）
https://nagoya.repo.nii.ac.jp/record/19073/files/rta08.pdf
Access Restrictions: インターネット公開
Rights (production): The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-540-70590-1_13
Is Version Of (DOI): 10.1007/978-3-540-70590-1_13
http://hdl.handle.net/2237/21175
Data Provider (Database): 国立情報学研究所 : 学術機関リポジトリデータベース（IRDB）（機関リポジトリ）
https://irdb.nii.ac.jp
Original Data Provider (Database): 名古屋大学 : 名古屋大学学術機関リポジトリ