Chiharu Hosono

According to our database, Chiharu Hosono authored at least 6 papers between 1975 and 2005.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2005

The Relative Completeness of a Version of CTL*.

Hidetomo Machi, Kohji Tomita, Chiharu Hosono

Proceedings of the Theory of Computing 2005, 2005

2001

On the elimination of some higher type quantifiers.

Yasuwo Ikeda, Kohji Tomita, Chiharu Hosono

Math. Struct. Comput. Sci., 2001

1994

A Formal Derivation of the Decidability of the Theory SA.

Chiharu Hosono, Yasuwo Ikeda

Theor. Comput. Sci., 1994

On Locomorphism in Analytical Equivalence Theory.

Shigeru Igarashi, Tetsuya Mizutani, Takashi Tsuji, Chiharu Hosono

Proceedings of the Logic, 1994

1977

The Retracts in <i>P omega</i> do not Form a Continuous Lattice - A Solution to Scott's Problem.

Chiharu Hosono, Masahiko Sato

Theor. Comput. Sci., 1977

1975

On the Cardinality of Some Lattices.

Chiharu Hosono

Inf. Process. Lett., 1975