# Kazushi Seino

According to our database

^{1}, Kazushi Seino## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

1997

Analysis of required elements for next-generation document reader on the basis of user requirements.

Proceedings of the 4th International Conference Document Analysis and Recognition (ICDAR '97), 1997

1995

The Extendes Equivalence Problem for a Class of Non-Real-Time Deterministic Pushdowen Automata.

Acta Inf., 1995

1989

A Direct Branching Algorithm for Checking the Equivalence of Two Deterministic Pushdown Transducers, one of which is Real-Time Strict.

Theor. Comput. Sci., 1989

1985

A Weaker Sufficient Condition for the Equivalence of a Pair of DPDA's to be Decidable.

Theor. Comput. Sci., 1985