Kazushi Seino

Publication Activity (10 Years)

Years Active: 1985-1997
Publications (10 Years): 0

Publications

Takashi Miyamoto, Yasuto Ishitani, Kazushi Seino, Toshihiro Nakamura, Yoshihisa Tanabe
Analysis of required elements for next-generation document reader on the basis of user requirements. ICDAR (1997)
Etsuji Tomita, Kazushi Seino
The Extendes Equivalence Problem for a Class of Non-Real-Time Deterministic Pushdowen Automata. Acta Informatica 32 (4) (1995)
Etsuji Tomita, Kazushi Seino
A Direct Branching Algorithm for Checking the Equivalence of Two Deterministic Pushdown Transducers, one of which is Real-Time Strict. Theor. Comput. Sci. 64 (1) (1989)
Etsuji Tomita, Kazushi Seino
A Weaker Sufficient Condition for the Equivalence of a Pair of DPDA's to be Decidable. Theor. Comput. Sci. 41 (1985)