文献

J-GLOBAL ID：200902122378159598   整理番号：02A0654651

層化変換項書き換えシステムおよびその認識可能性保存特性

Layered Transducing Term Rewriting System and Its Recognizability Preserving Property.

著者 (4件)： SEKI H (Nara Inst. Sci. and Technol., Ikoma, JPN) ,  TAKAI T (National Inst. Advanced Industrial Sci. and Technol., Amagasaki, JPN) ,  FUJINAKA Y (Nara Inst. Sci. and Technol., Ikoma, JPN) ,  KAJI Y (Nara Inst. Sci. and Technol., Ikoma, JPN)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 2378  ページ： 98-113  発行年： 2002年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： 実効的に認識可能性を保存する項書き換えシステム(EPR-TR...

シソーラス用語： *項書換え系 ,...
準シソーラス用語： トランスデューサ

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

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

タイトルに関連する用語 (4件)： 層化 ,  項書き換えシステム ,  可能性 ,  保存