| 2005 |
|---|
| 6 | EE | Hidetomo Machi,
Kohji Tomita,
Chiharu Hosono:
The Relative Completeness of a Version of CTL*.
CATS 2005: 81-85 |
| 2001 |
|---|
| 5 | | Yasuwo Ikeda,
Kohji Tomita,
Chiharu Hosono:
On the elimination of some higher type quantifiers.
Mathematical Structures in Computer Science 11(6): 771-779 (2001) |
| 1994 |
|---|
| 4 | | Shigeru Igarashi,
Tetsuya Mizutani,
Takashi Tsuji,
Chiharu Hosono:
On Locomorphism in Analytical Equivalence Theory.
Logic, Language and Computation 1994: 173-187 |
| 3 | | Chiharu Hosono,
Yasuwo Ikeda:
A Formal Derivation of the Decidability of the Theory SA.
Theor. Comput. Sci. 127(1): 1-23 (1994) |
| 1977 |
|---|
| 2 | | Chiharu Hosono,
Masahiko Sato:
The Retracts in P omega do not Form a Continuous Lattice - A Solution to Scott's Problem.
Theor. Comput. Sci. 4(2): 137-142 (1977) |
| 1975 |
|---|
| 1 | | Chiharu Hosono:
On the Cardinality of Some Lattices.
Inf. Process. Lett. 3(3): 67-68 (1975) |
