Art

J-GLOBAL ID：200902161702544705   Reference number：93A0956461

Completion with Multiple Reduction Orderings based on ATMS Data Structure.

ATMSのデータ構造に基づいた複数の簡約順序を扱う完備化手続き

Author (3)： KONDO HISASHI (北大 工) ,  KURIHARA MASAHITO (北大 工) ,  OUCHI AZUMA (北大 工)
Material： 北海道大学工学部研究報告  (Bulletin of the Faculty of Engineering Hokkaido University)
Issue： 166  Page： 35-44  Publication year： Oct. 1993 
JST Material Number： F0661A  ISSN： 0385-602X  CODEN： HDKKA  Document type： Article
Article type： 原著論文  Country of issue： Japan (JPN)  Language： JAPANESE (JA)

Thesaurus term： program theory ,...

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

JST classification (2)： Theory of computation  (JB02000A) ,  Artificial intelligence  (JE08000Z)

Terms in the title (5)： ATMS ,  データ構造 ,  簡約 ,  順序 ,  手続き