研究者
J-GLOBAL ID:200901085030416957
更新日: 2020年08月29日
高井 利憲
タカイ トシノリ | Takai Toshinori
所属機関・部署:
独立行政法人産業技術総合研究所 産学官連携推進部門 関西産学官連携センター 組込みシステム技術連携研究体
独立行政法人産業技術総合研究所 産学官連携推進部門 関西産学官連携センター 組込みシステム技術連携研究体 について
「独立行政法人産業技術総合研究所 産学官連携推進部門 関西産学官連携センター 組込みシステム技術連携研究体」ですべてを検索
ホームページ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
もっと見る
※ J-GLOBALの研究者情報は、
researchmap
の登録情報に基づき表示しています。 登録・更新については、
こちら
をご覧ください。
前のページに戻る
TOP
BOTTOM