田辺良則

タナベヨシノリ | Tanabe Yoshinori

所属機関・部署：
ホームページURL (1件)： http://www.aist.go.jp/RESEARCHERDB/cgi-bin/worker_detail.cgi?call=namae&rw_id=Y51306909
MISC (8件)：

一次元セルオートマトンの有限近似解析. コンピュータソフトウェア. 2006. 23. 3. 147-157
時相論理の充足可能性判定器のための論理式生成法. 電子情報通信学会論文誌 D-I. 2006. J89-D. 4. 642-650
一次元セルオートマトンの有限近似解析(Preliminary Version). 算譜科学研究速報. 2005
時相論理の充足可能性判定器のための性能評価法. 算譜科学研究速報. 2005
A Decision Procedure for Alternation-free Two-way Modal mu-calculus. 算譜科学研究速報. 2005

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

田辺 良則