Return to search

導出木からのループ検出による論理プログラムの非停止性証明法

No description available.

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

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