Namio Honda
According to our database1,
Namio Honda
authored at least 28 papers
between 1968 and 1989.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
1989
Proceedings of the Array Grammars, Patterns and Recognizers, 1989
1987
A class of ambiguous linear term-rewriting systems on which call-by-need is a normalizing reduction strategy.
Syst. Comput. Jpn., 1987
1986
Syst. Comput. Jpn., 1986
1985
1984
Pattern Recognit., 1984
Proceedings of the Automata, 1984
1982
Proceedings of the Proceedings, 1982
1981
The Equivalence Problem for Two DPDA's, One of Which is a Finite-Turn or One-Counter Machine.
J. Comput. Syst. Sci., 1981
1980
Inf. Control., October, 1980
Inf. Control., April, 1980
On the Equivalence Problem for Two DPDA's, One of which is Real-Time.
Proceedings of the Information Processing, Proceedings of the 8th IFIP Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia, 1980
1979
Inf. Control., March, 1979
1978
Inf. Control., September, 1978
1977
J. Comput. Syst. Sci., 1977
1976
J. Comput. Syst. Sci., 1976
J. Comput. Syst. Sci., 1976
1975
Erratum: On the Extension of Gladkij's Theorem and the Hierarchies of Languages.
J. Comput. Syst. Sci., 1975
1974
1973
J. Comput. Syst. Sci., 1973
1971
Inf. Control., April, 1971
1969
Mappings Induced by PGSM-Mappings and Some Recursively Unsolvable Problems of Finite Probabilistic Automata
Inf. Control., September, 1969
1968