Ohsaki Hitoshi

オオサキヒトシ | Ohsaki Hitoshi

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

ｍore...

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

Return to Previous Page