Home >

news Help

Publication Information


Title
Japanese:合成可能なタブロによる仕様の差分的無矛盾修正について 
English: 
Author
Japanese: 友石正彦, 米崎直樹.  
English: MASAHIKO TOMOISHI, NAOKI YONEZAKI.  
Language Japanese 
Journal/Book name
Japanese:数理解析研究所講究録 
English: 
Volume, Number, Page Vol. 1125    No. 2000    pp. 142-149
Published date Nov. 1999 
Publisher
Japanese: 
English: 
Conference name
Japanese:プログラム変換と記号・数式処理 
English: 
Conference site
Japanese: 
English: 

©2007 Tokyo Institute of Technology All rights reserved.