On the Cardinality of Some Lattices. - Chiharu Hosono (Inf. Process. Lett., 1975)

The Retracts in P omega do not Form a Continuous Lattice - A Solution to Scott's Problem. - Chiharu Hosono; Masahiko Sato 001 (Theor. Comput. Sci., 1977)

On Locomorphism in Analytical Equivalence Theory. - Shigeru Igarashi; Tetsuya Mizutani; Takashi Tsuji; Chiharu Hosono (Logic, Language and Computation, 1994)

A Formal Derivation of the Decidability of the Theory SA. - Chiharu Hosono; Yasuwo Ikeda (Theor. Comput. Sci., 1994)

On the elimination of some higher type quantifiers. - Yasuwo Ikeda; Kohji Tomita; Chiharu Hosono (Math. Struct. Comput. Sci., 2001)

The Relative Completeness of a Version of CTL*. - Hidetomo Machi; Kohji Tomita; Chiharu Hosono (CATS, 2005)