Art

J-GLOBAL ID：200902125626866378   Reference number：94A0921710

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

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

Author (3)： YAMAMOTO SHIN'ICHIRO (名古屋大 工) ,  SAKABE TOSHIKI (名古屋大 工) ,  INAGAKI YASUYOSHI (名古屋大 工)
Material： 電子情報通信学会論文誌 D-1  (IEICE Transactions on Information and Systems, Pt.1 (Japanese Edition))
Volume： 77  Issue： 10  Page： 693-702  Publication year： Oct. 1994 
JST Material Number： S0757B  ISSN： 0915-1915  Document type： Article
Article type： 原著論文  Country of issue： Japan (JPN)  Language： JAPANESE (JA)

Thesaurus term： rewriting rule ,...
Semi thesaurus term： TRS

   To see more with JDream III (charged).   {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=94A0921710&from=J-GLOBAL&jstjournalNo=S0757B") }}

JST classification (1)： Theory of computation  (JB02000A)

Reference (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

Terms in the title (2)： 項書換え系 ,  戦略