
Search the dblp DataBase
Chiharu Hosono:
[Publications]
[Author Rank by year]
[Coauthors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
 Shigeru Igarashi, Tetsuya Mizutani, Takashi Tsuji, Chiharu Hosono
On Locomorphism in Analytical Equivalence Theory. [Citation Graph (0, 0)][DBLP] Logic, Language and Computation, 1994, pp:173187 [Conf]
 Hidetomo Machi, Kohji Tomita, Chiharu Hosono
The Relative Completeness of a Version of CTL*. [Citation Graph (0, 0)][DBLP] CATS, 2005, pp:8185 [Conf]
 Chiharu Hosono
On the Cardinality of Some Lattices. [Citation Graph (0, 0)][DBLP] Inf. Process. Lett., 1975, v:3, n:3, pp:6768 [Journal]
 Yasuwo Ikeda, Kohji Tomita, Chiharu Hosono
On the elimination of some higher type quantifiers. [Citation Graph (0, 0)][DBLP] Mathematical Structures in Computer Science, 2001, v:11, n:6, pp:771779 [Journal]
 Chiharu Hosono, Yasuwo Ikeda
A Formal Derivation of the Decidability of the Theory SA. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1994, v:127, n:1, pp:123 [Journal]
 Chiharu Hosono, Masahiko Sato
The Retracts in P omega do not Form a Continuous Lattice  A Solution to Scott's Problem. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1977, v:4, n:2, pp:137142 [Journal]
Search in 0.002secs, Finished in 0.002secs
