Return to search

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

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

Page generated in 0.002 seconds