文献

J-GLOBAL ID：200902146170527344   整理番号：99A0225532

準同型写像によるβ書換え系の到達不能性証明

Unreachability Proofs for β Rewriting Systems by Homomorphisms.

著者 (3件)： AKAMA K (Hokkaido Univ., Sapporo-shi, JPN) ,  SHIGETA Y (Toshiba Corp., Kawasaki-shi, JPN) ,  MIYAMOTO E (Hokkaido Univ., Sapporo-shi, JPN)
資料名： IEICE Transactions on Information and Systems (Institute of Electronics, Information and Communication Engineers)  (IEICE Transactions on Information and Systems (Institute of Electronics, Information and Communication Engineers))
巻： E82-D  号： 2  ページ： 339-347  発行年： 1999年02月 
JST資料番号： L1371A  ISSN： 0916-8532  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 英語 (EN)

抄録/ポイント： 抽象化によって到達不能性問題を解く手法の形式化について述べた...

シソーラス用語： *項書換え系 ,...

   続きはJDreamIII（有料）にて  {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=99A0225532&from=J-GLOBAL&jstjournalNo=L1371A") }}

分類 (1件)： 計算理論  (JB02000A)

引用文献 (18件)：

• AKAMA, K. Common Structure of Semi-Thue Systems, Petri Nets, and Other Rewriting Systems. Hokkaido University Information Engineering Technical Report, HIER-LI-9407. 1994
• AKAMA, K. An Axiomatization of a Class of Rewriting Systems. Hokkaido University Information Engineering Technical Report. 1994
• BOOK, R. Thue systems as rewriting systems. J. Symbolic Computation. 1987, 3, 39-68
• BUCHBERGER, B. History and basic features of the criticalpair/completion procedure. J. Symbolic Computation. 1987, 3, 3-38
• COUSOT, P. Abstract Interpretation and Application to Logic Programs. J. Logic Programming. 1992, 3, 2&3, 103-179

タイトルに関連する用語 (3件)： 同型写像 ,  書換え系 ,  証明