According to our database1, Kazushi Seino authored at least 4 papers between 1985 and 1997.
Legend:Book In proceedings Article PhD thesis Other
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
The Extendes Equivalence Problem for a Class of Non-Real-Time Deterministic Pushdowen Automata.
Acta Inf., 1995
A Direct Branching Algorithm for Checking the Equivalence of Two Deterministic Pushdown Transducers, one of which is Real-Time Strict.
Theor. Comput. Sci., 1989
A Weaker Sufficient Condition for the Equivalence of a Pair of DPDA's to be Decidable.
Theor. Comput. Sci., 1985