Tadahiro Suda

According to our database, Tadahiro Suda authored at least 1 paper in 2005.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2005

Non-backtracking Top-Down Algorithm for Checking Tree Automata Containment.

Tadahiro Suda, Haruo Hosoya

Proceedings of the Implementation and Application of Automata, 2005