研究者
J-GLOBAL ID:200901012173103960
更新日: 2020年08月29日
大崎 人士
オオサキ ヒトシ | Ohsaki Hitoshi
所属機関・部署:
独立行政法人産業技術総合研究所 関西センター 関西産学官連携センター 組込みシステム技術連携研究体
独立行政法人産業技術総合研究所 関西センター 関西産学官連携センター 組込みシステム技術連携研究体 について
「独立行政法人産業技術総合研究所 関西センター 関西産学官連携センター 組込みシステム技術連携研究体」ですべてを検索
ホームページURL (1件):
http://www.aist.go.jp/RESEARCHERDB/cgi-bin/worker_detail.cgi?call=namae&rw_id=H56517283
MISC (6件):
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
ACTAS: A System Design for Associative and Commutative Tree Automata Theory. AIST Programming Science Group Techical Report. 2004
ACTAS: Associative and Commutative Tree Automata Simulator. 産業技術総合研究所算譜科学グループ速報. 2004
暗号通信手順の安全性自動検証技術に関する研究成果報告書. AIST PROGTAMMING SCIENCE GROUP TECHNICAL REPORT. 2003
A tree automata theory for unification modulo equational rewriting. AIST Programming Science Group Techical Report. 2002. 2. 6
もっと見る
※ J-GLOBALの研究者情報は、
researchmap
の登録情報に基づき表示しています。 登録・更新については、
こちら
をご覧ください。
前のページに戻る
TOP
BOTTOM