振舞等価性の証明のための等式付き書換えに基づく潜在帰納法

No description available.

1. http://hdl.handle.net/2237/21098
2. http://ci.nii.ac.jp/naid/110006388628
3. 0913-5685
4. 電子情報通信学会技術研究報告SS, ソフトウェアサイエンス. v.107, n.176, 2007, p.7-12

Identifer	oai:union.ndltd.org:NAGOYA/oai:ir.nul.nagoya-u.ac.jp:2237/21098
Date	07 1900
Creators	KUSAKARI, Keiichiro, SAKABE, Toshiki, NISHIDA, Naoki, SAKAI, Masahiko, SASADA, Yuji, 草刈, 圭一朗, 坂部, 俊樹, 西田, 直樹, 酒井, 正彦, 笹田, 悠司
Publisher	一般社団法人電子情報通信学会
Source Sets	Nagoya University
Language	Japanese
Detected Language	Japanese
Type	Article(publisher)
Rights	(c)一般社団法人電子情報通信学会。本文データは学協会の許諾に基づきCiNiiから複製したものである