Search the dblp DataBase

Publications of Author

1. Taro Suzuki, Koji Nakagawa, Tetsuo Ida
   Higher-Order Lazy Narrowing Calculus: A Computation Model for a Higher-Order Functional Logic Language. [Citation Graph (0, 0)][DBLP]
   ALP/HOA, 1997, pp:99-113 [Conf]
   
2. Koji Nakagawa, Masakazu Suzuki
   Mathematical Knowledge Browser with Automatic Hyperlink Detection. [Citation Graph (0, 0)][DBLP]
   MKM, 2005, pp:190-202 [Conf]
   
3. Koji Nakagawa, Felix Kossak
   User--system interaction within Theorema. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 1999, v:23, n:3, pp:- [Journal]
   
4. Bruno Buchberger, Adrian Craciun, Tudor Jebelean, Laura Kovács, Temur Kutsia, Koji Nakagawa, Florina Piroi, Nikolaj Popov, Judit Robu, Markus Rosenkranz
   Theorema: Towards computer-aided mathematical theory exploration. [Citation Graph (0, 0)][DBLP]
   J. Applied Logic, 2006, v:4, n:4, pp:470-504 [Journal]
   
5. Koji Nakagawa
   Logicographic symbols. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 2006, v:41, n:3-4, pp:411-434 [Journal]
   
6. Hiroshi Yoshida, Koji Nakagawa, Hirokazu Anai, Katsuhisa Horimoto
   An Algebraic-Numeric Algorithm for the Model Selection in Kinetic Networks. [Citation Graph (0, 0)][DBLP]
   CASC, 2007, pp:433-447 [Conf]
   
7. Hiroshi Yoshida, Koji Nakagawa, Hirokazu Anai, Katsuhisa Horimoto
   Exact Parameter Determination for Parkinson's Disease Diagnosis with PET Using an Algebraic Approach. [Citation Graph (0, 0)][DBLP]
   AB, 2007, pp:110-124 [Conf]
   
8. 
   Ground-truthed dataset of chemical structure images in Japanese published patent applications. [Citation Graph (, )][DBLP]
   
   
9. 
   Extraction of Logical Structure from Articles in Mathematics. [Citation Graph (, )][DBLP]