Search the dblp DataBase

Publications of Author

1. Toshinori Takai, Hitoshi Furusawa
   Monodic Tree Kleene Algebra. [Citation Graph (0, 0)][DBLP]
   RelMiCS, 2006, pp:402-416 [Conf]
   
2. Hitoshi Ohsaki, Hiroyuki Seki, Toshinori Takai
   Recognizing Boolean Closed A-Tree Languages with Membership Conditional Rewriting Mechanism. [Citation Graph (0, 0)][DBLP]
   RTA, 2003, pp:483-498 [Conf]
   
3. Hitoshi Ohsaki, Toshinori Takai
   Decidability and Closure Properties of Equational Tree Languages. [Citation Graph (0, 0)][DBLP]
   RTA, 2002, pp:114-128 [Conf]
   
4. Hiroyuki Seki, Toshinori Takai, Youhei Fujinaka, Yuichi Kaji
   Layered Transducing Term Rewriting System and Its Recognizability Preserving Property. [Citation Graph (0, 0)][DBLP]
   RTA, 2002, pp:98-113 [Conf]
   
5. Toshinori Takai
   A Verification Technique Using Term Rewriting Systems and Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
   RTA, 2004, pp:119-133 [Conf]
   
6. Toshinori Takai, Yuichi Kaji, Hiroyuki Seki
   Right-Linear Finite Path Overlapping Term Rewriting Systems Effectively Preserve Recognizability. [Citation Graph (0, 0)][DBLP]
   RTA, 2000, pp:246-260 [Conf]
   
7. Hitoshi Ohsaki, Toshinori Takai
   ACTAS : A System Design for Associative and Commutative Tree Automata Theory. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:124, n:1, pp:97-111 [Journal]