Search the dblp DataBase

Publications of Author

1. Reiji Nakajima, Michio Honda, Hayao Nakahara
   Hierarchical Program Specification and Verification - a Many-sorted Logical Approach. [Citation Graph (1, 0)][DBLP]
   Acta Inf., 1980, v:14, n:, pp:135-155 [Journal]
   
2. Reiji Nakajima, Taiichi Yuasa, Keiji Kojima
   The iota-Programming System - A Support System for Hieratchical and Modular Programming. [Citation Graph (0, 0)][DBLP]
   IFIP Congress, 1980, pp:299-304 [Conf]
   
3. Tatsuya Hagino, Michio Honda, Akihiko Koga, Reiji Nakajima, Etsuya Shibayama, Taiichi Yuasa
   KWIC Example. [Citation Graph (0, 0)][DBLP]
   The IOTA Programming System, 1983, pp:114-175 [Conf]
   
4. Michio Honda, Reiji Nakajima
   Strategies and Techniques for Interactive Proof. [Citation Graph (0, 0)][DBLP]
   The IOTA Programming System, 1983, pp:48-60 [Conf]
   
5. Reiji Nakajima
   Language, Logical Foundation, Verification. [Citation Graph (0, 0)][DBLP]
   The IOTA Programming System, 1983, pp:4-29 [Conf]
   
6. Taiichi Yuasa, Reiji Nakajima
   System Supports for Modular Programming. [Citation Graph (0, 0)][DBLP]
   The IOTA Programming System, 1983, pp:30-47 [Conf]
   
7. Reiji Nakajima
   Infinite normal forms for the lambda - calculus. [Citation Graph (0, 0)][DBLP]
   Lambda-Calculus and Computer Science Theory, 1975, pp:62-82 [Conf]
   
8. Nobuaki Yoshida, Yoshio Hayashi, Yutaka Tamagaki, Shoji Urashita, Makoto Kakuta, Masahiro Watanabe, Jacques Garrigue, Reiji Nakajima
   SOBA Framework: An Application Framework for Broadband Network Environment. [Citation Graph (0, 0)][DBLP]
   SAINT, 2005, pp:296-303 [Conf]
   
9. Koichi Furukawa, Reiji Nakajima, Akinori Yonezawa
   Modularization and Abstraction in Logic Programming. [Citation Graph (0, 0)][DBLP]
   New Generation Comput., 1983, v:1, n:2, pp:169-177 [Journal]
   
10. Taiichi Yuasa, Reiji Nakajima
    IOTA: A Modular Programming System. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1985, v:11, n:2, pp:179-187 [Journal]