Chiharu Hosono

Publication Activity (10 Years)

Years Active: 1975-2005
Publications (10 Years): 0

Publications

Hidetomo Machi, Kohji Tomita, Chiharu Hosono
The Relative Completeness of a Version of CTL*. CATS (2005)
Yasuwo Ikeda, Kohji Tomita, Chiharu Hosono
On the elimination of some higher type quantifiers. Math. Struct. Comput. Sci. 11 (6) (2001)
Shigeru Igarashi, Tetsuya Mizutani, Takashi Tsuji, Chiharu Hosono
On Locomorphism in Analytical Equivalence Theory. Logic, Language and Computation (1994)
Chiharu Hosono, Yasuwo Ikeda
A Formal Derivation of the Decidability of the Theory SA. Theor. Comput. Sci. 127 (1) (1994)
Chiharu Hosono, Masahiko Sato
do not Form a Continuous Lattice - A Solution to Scott's Problem. Theor. Comput. Sci. 4 (2) (1977)
Chiharu Hosono
On the Cardinality of Some Lattices. Inf. Process. Lett. 3 (3) (1975)