文献

J-GLOBAL ID：200902125626866378   整理番号：94A0921710

項書換え系における並列最外戦略の効率的な実現法

An Efficient Implementation of the Outermost Strategy for Term Rewriting Systems.

著者 (3件)： 山本晋一郎 (名古屋大 工) ,  坂部俊樹 (名古屋大 工) ,  稲垣康善 (名古屋大 工)
資料名： 電子情報通信学会論文誌 D-1  (IEICE Transactions on Information and Systems, Pt.1 (Japanese Edition))
巻： 77  号： 10  ページ： 693-702  発行年： 1994年10月 
JST資料番号： S0757B  ISSN： 0915-1915  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： 項書換え系(Term Rewriting Systems:T...

シソーラス用語： 書換え規則 ,...
準シソーラス用語： TRS

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

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

引用文献 (11件)：

• AHO, A. V. Efficient string matching : An aid to bibliographic search. Comm. ACM. 1975, 18, 6, 333-340
• HOFFMANN, C. M. Pattern matching in trees. J. ACM. 1982, 29, 1, 68-95
• HUET, G. Confluent reductions : Abstract properties and applications to term rewriting systems. J. ACM. 1980, 27, 4, 797-821
• BURGHARDT, J. A tree pattern matching algorthm with reasonable space requirements. LNCS. 1988, 299, 1-15
• KLOP, J. W. Term rewriting systems : a tutorial. bulletin. 1987, 32

タイトルに関連する用語 (2件)： 項書換え系 ,  戦略