Art

J-GLOBAL ID：200902011222681212   Reference number：92A0748787

Interpretation of Conditional Term Rewriting Systems by DTRC.

DTRCによる条件付き項書換えシステムの解釈

Author (3)： FENG S (Nagoya Univ.) ,  SAKABE T (Nagoya Univ.) ,  INAGAKI Y (Nagoya Univ.)
Material： 日本ソフトウエア科学会大会論文集
Volume： 9th  Page： 313-316  Publication year： Sep. 1992 
JST Material Number： X0080A  ISSN： 0913-5391  Document type： Proceedings
Article type： 原著論文  Country of issue： Japan (JPN)  Language： ENGLISH (EN)

Thesaurus term： program theory ,...

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

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

Terms in the title (1)： 項書換えシステム