Publications International

Short Papers and Extended Abstracts in Proceedings

Hitoshi Ohsaki and Toshinori Takai:
Equational Tree Automata: Towards Automated Verification of Network Protocols.
In proceedings of 13th Seminar on Algebra, Logic and Geometry in Informatics (ALGI-13), Kyoto (Japan), 2003.
Publication of Research Institute for Mathematical Sciences 1318, pp. 48–52, Kyoto University.

Hitoshi Ohsaki and Toshinori Takai:
 A Tree Automata Theory for Unification Modulo Equational Rewriting.
In proceedings of 16th International Workshop on Unification (UNIF'02), Copenhagen (Denmark), 2002.
Technical Report 02–05, pp. 21–25, University of IOWA;
Available also as Technical Report AIST–PS–2002–006, AIST, 2002.
AIST technical report URL: http://unit.aist.go.jp/cvs/techrep.html