Rchr
J-GLOBAL ID:200901085030416957
Update date: Aug. 29, 2020
Takai Toshinori
タカイ トシノリ | Takai Toshinori
Affiliation and department:
National Institute of Advanced Industrial Science and Technology
About National Institute of Advanced Industrial Science and Technology
Search "National Institute of Advanced Industrial Science and Technology"
Homepage URL (1):
http://www.aist.go.jp/RESEARCHERDB/cgi-bin/worker_detail.cgi?call=namae&rw_id=T25467370
MISC (14):
時相論理の充足可能性判定器のための論理式生成法. 電子情報通信学会論文誌 D-I. 2006. J89-D. 4. 642-650
Hitoshi Ohsaki, Toshinori Takai. ACTAS: A system design for associative and commutative tree automata theory. Electronic Notes in Theoretical Computer Science. 2005. 124. 1. 97-111
時相論理の充足可能性判定器のための性能評価法. 算譜科学研究速報. 2005
Precondisions of properties described in CTL for statementsmanipulating pointers. 算譜科学研究速報. 2005
Reasoning about Term Rewriting in Kleene Categories with Converse. 産業技術総合研究所算譜科学グループ速報. 2004
more...
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in
researchmap
.
For details, see here
.
Return to Previous Page
TOP
BOTTOM