
Search the dblp DataBase
Koji Nakagawa:
[Publications]
[Author Rank by year]
[Coauthors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
 Taro Suzuki, Koji Nakagawa, Tetsuo Ida
HigherOrder Lazy Narrowing Calculus: A Computation Model for a HigherOrder Functional Logic Language. [Citation Graph (0, 0)][DBLP] ALP/HOA, 1997, pp:99113 [Conf]
 Koji Nakagawa, Masakazu Suzuki
Mathematical Knowledge Browser with Automatic Hyperlink Detection. [Citation Graph (0, 0)][DBLP] MKM, 2005, pp:190202 [Conf]
 Koji Nakagawa, Felix Kossak
Usersystem interaction within Theorema. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 1999, v:23, n:3, pp: [Journal]
 Bruno Buchberger, Adrian Craciun, Tudor Jebelean, Laura Kovács, Temur Kutsia, Koji Nakagawa, Florina Piroi, Nikolaj Popov, Judit Robu, Markus Rosenkranz
Theorema: Towards computeraided mathematical theory exploration. [Citation Graph (0, 0)][DBLP] J. Applied Logic, 2006, v:4, n:4, pp:470504 [Journal]
 Koji Nakagawa
Logicographic symbols. [Citation Graph (0, 0)][DBLP] J. Symb. Comput., 2006, v:41, n:34, pp:411434 [Journal]
 Hiroshi Yoshida, Koji Nakagawa, Hirokazu Anai, Katsuhisa Horimoto
An AlgebraicNumeric Algorithm for the Model Selection in Kinetic Networks. [Citation Graph (0, 0)][DBLP] CASC, 2007, pp:433447 [Conf]
 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:110124 [Conf]
Groundtruthed dataset of chemical structure images in Japanese published patent applications. [Citation Graph (, )][DBLP]
Extraction of Logical Structure from Articles in Mathematics. [Citation Graph (, )][DBLP]
Search in 0.017secs, Finished in 0.018secs
