Art

J-GLOBAL ID：201202212410217435   Reference number：12A0394674

A Path Ordering for Term Rewriting Systems with Polynomial Size Normal Forms

多項式サイズ正規形を保証する項書き換えシステムの経路順序

Author (3)： ISOBE KOKI (日立INSソフトウェア株式会社ソフトウェア開発本部アプリケーション開発部) ,  AOTO TAKAHITO (東北大学電気通信研究所) ,  TOYAMA YOSHIHITO (東北大学電気通信研究所)
Material： コンピュータソフトウェア  (Computer Software)
Volume： 29  Issue： 1  Page： 1.176-1.190 (J-STAGE)  Publication year： 2012 
JST Material Number： Y0628A  ISSN： 0289-6540  Document type： Article
Article type： 原著論文  Country of issue： Japan (JPN)  Language： JAPANESE (JA)

Thesaurus term： *term rewriting system ,  polynomial ,  *computability ,  routing ,  communication operation
Semi thesaurus term： 経路順序 ,  *term rewriting system

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

Terms in the title (6)： 多項式 ,  サイズ ,  保証 ,  項書き換えシステム ,  経路 ,  順序