dblp.uni-trier.dewww.uni-trier.de

Kazushi Seino

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1997
4EETakashi 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: 428-432
1995
3 Etsuji Tomita, Kazushi Seino: The Extendes Equivalence Problem for a Class of Non-Real-Time Deterministic Pushdowen Automata Acta Inf. 32(4): 395-413 (1995)
1989
2 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): 39-53 (1989)
1985
1 Etsuji Tomita, Kazushi Seino: A Weaker Sufficient Condition for the Equivalence of a Pair of DPDA's to be Decidable. Theor. Comput. Sci. 41: 223-230 (1985)

Coauthor Index

1Yasuto Ishitani [4]
2Takashi Miyamoto [4]
3Toshihiro Nakamura [4]
4Yoshihisa Tanabe [4]
5Etsuji Tomita [1] [2] [3]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)