Tanabe Yoshinori

タナベヨシノリ | Tanabe Yoshinori

Affiliation and department：
Homepage 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

ｍore...

※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page