Some Tips on Writing Proof Scores in the OTS/CafeOBJ Method

OGATA Kazuhiro; OGATA Kazuhiro; FUTATSUGI Kokichi

Art

J-GLOBAL ID：200902221760769094 Reference number：06A0617361

Some Tips on Writing Proof Scores in the OTS/CafeOBJ Method

OTS/CafeOBJ法における記述証明スコアに関する幾つかの情報

Publisher site Copy service {{ this.onShowCLink("http://jdream3.com/copy/?sid=JGLOBAL&noSystem=1&documentNoArray=06A0617361&COPY=1") }}
Access JDreamⅢ for advanced search and analysis. {{ this.onShowJLink("http://jdream3.com/lp/jglobal/index.html?docNo=06A0617361&from=J-GLOBAL&jstjournalNo=H0078D") }}

Author (3)： , ,
Material：
Volume： 4060 Page： 596-615 Publication year： 2006
JST Material Number： H0078D ISSN： 0302-9743 Document type： Proceedings
Country of issue： Germany, Federal Republic of (DEU) Language： ENGLISH (EN)

, , ,

Return to Previous Page