文献

J-GLOBAL ID：200902237653363585   整理番号：03A0223066

単純型付き項書換え系における停止性の自動証明

Proving Termination of Simply Typed Term Rewriting Systems Automatically.

著者 (2件)： 青戸等人 (群馬大 工) ,  山田俊行 (三重大 工)
資料名： 情報処理学会論文誌  (IPSJ Journal)
巻： 44  号： SIG4(PRO17)  ページ： 67-77  発行年： 2003年03月15日 
JST資料番号： Z0778A  ISSN： 0387-5806  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： 単純型付き項書換え系は,山田(RTA’01,2001)によっ...

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

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

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

引用文献 (15件)：

• ARTS, T. Termination of Term Rewriting Using Dependency Paris. Theoretical Computer Science. 2000, 236, 133-178
• BAADER, F. Term Rewriting and All That. 1998
• DERSHOWITZ, N. Orderings for Term-Rewriting Systems. Theoretical Computer Science. 1982, 17, 279-301
• DERSHOWITZ, N. Rewrite Systems. Handbook of Theoretical Computer Science, B. 1990, 243-320
• JOUANNAUD, J. -P. Executable Higher-Order Algebraic Specification Languages. Proc. 6th IEEE Symposium on Logic in Computer Science (LICS'91). 1991, 350-361

タイトルに関連する用語 (3件)： 項書換え系 ,  停止性 ,  証明