Michio Oyamaguchi (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

6 Michio Oyamaguchi, Yasuyoshi Inagaki, Namio Honda: The Equivalence Problem for Two DPDA's, One of Which is a Finite-Turn or One-Counter Machine. J. Comput. Syst. Sci. 23(3): 366-382 (1981)

5 Michio Oyamaguchi, Yasuyoshi Inagaki, Namio Honda: On the Equivalence Problem for Two DPDA's, One of which is Real-Time. IFIP Congress 1980: 53-58

3 Michio Oyamaguchi, Yasuyoshi Inagaki, Namio Honda: A Real-Time Strictness Test for Deterministic Pushdown Automata Information and Control 47(1): 1-9 (1980)

2 Michio Oyamaguchi, Yasuyoshi Inagaki, Namio Honda: A Simplicity Test for Deterministic Pushdown Automata Information and Control 47(1): 10-36 (1980)

Selection of 4 from 20 records - Michio Oyamaguchi has 7 coauthors

6		Michio Oyamaguchi, Yasuyoshi Inagaki, Namio Honda: The Equivalence Problem for Two DPDA's, One of Which is a Finite-Turn or One-Counter Machine. J. Comput. Syst. Sci. 23(3): 366-382 (1981)
5		Michio Oyamaguchi, Yasuyoshi Inagaki, Namio Honda: On the Equivalence Problem for Two DPDA's, One of which is Real-Time. IFIP Congress 1980: 53-58
3		Michio Oyamaguchi, Yasuyoshi Inagaki, Namio Honda: A Real-Time Strictness Test for Deterministic Pushdown Automata Information and Control 47(1): 1-9 (1980)
2		Michio Oyamaguchi, Yasuyoshi Inagaki, Namio Honda: A Simplicity Test for Deterministic Pushdown Automata Information and Control 47(1): 10-36 (1980)