Search the dblp DataBase

Publications of Author

1. Hiroshi Nakano
   The Non-deterministic Catch and Throw Mechanism and Its Subject Reduction Property. [Citation Graph (0, 0)][DBLP]
   Logic, Language and Computation, 1994, pp:61-72 [Conf]
   
2. Hiroshi Nakano, Shin'ichi Tsuchiya, Akio Tsuruoka
   An Automatic Processing Of The Natural Language In The Word Count System. [Citation Graph (0, 0)][DBLP]
   COLING, 1980, pp:338-345 [Conf]
   
3. Satoshi Yonemoto, Hiroshi Nakano, Rin-ichiro Taniguchi
   Real-time human figure control using tracked blobs. [Citation Graph (0, 0)][DBLP]
   ICIAP, 2003, pp:127-132 [Conf]
   
4. Hiroshi Nakano
   A Modality for Recursion. [Citation Graph (0, 0)][DBLP]
   LICS, 2000, pp:255-266 [Conf]
   
5. Hiroshi Nakano
   A Constructive Formalization of the Catch and Throw Mechanism [Citation Graph (0, 0)][DBLP]
   LICS, 1992, pp:82-89 [Conf]
   
6. Satoshi Yonemoto, Hiroshi Nakano, Rin-ichiro Taniguchi
   Avatar motion control by user body postures. [Citation Graph (0, 0)][DBLP]
   ACM Multimedia, 2003, pp:347-350 [Conf]
   
7. Hiroshi Nakano
   Fixed-Point Logic with the Approximation Modality and Its Kripke Completeness. [Citation Graph (0, 0)][DBLP]
   TACS, 2001, pp:165-182 [Conf]
   
8. Hiroshi Nakano
   A Constructive Logic Behind the Catch and Throw Mechanism. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1994, v:69, n:2-3, pp:269-301 [Journal]
   
9. Susumu Hayashi, Masakazu Ishikawa, Satoshi Kobayashi, Hiroshi Nakano, Syuichi Nakazaki
   Two Extensions of PX system. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 1996, v:3, n:, pp:- [Journal]
   
10. Hiroshi Nakano
    On a Distance-Regular Graph of Even Height with k_e= k_f. [Citation Graph (0, 0)][DBLP]
    Graphs and Combinatorics, 2001, v:17, n:4, pp:707-716 [Journal]
    
11. 
    Undecidability of Type-Checking in Domain-Free Typed Lambda-Calculi with Existence. [Citation Graph (, )][DBLP]