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