Search the dblp DataBase

Publications of Author

1. Sadaki Hirose, Satoshi Okawa
   Characterizations of Language Classes: Universal Grammars, Dyck Reductions, and Homomorphisms. [Citation Graph (0, 0)][DBLP]
   Grammars and Automata for String Processing, 2003, pp:253-262 [Conf]
   
2. Pál Dömösi, Satoshi Okawa, Sadaki Hirose
   A Chomsky and Stanley Type Homomorphic Characterization of the Class of Linear Languages. [Citation Graph (0, 0)][DBLP]
   Bulletin of the EATCS, 1999, v:68, n:, pp:151- [Journal]
   
3. Sadaki Hirose, Masakazu Nasu
   Left Universal Context-Free Grammars and homomorphic Characterizations of Languages [Citation Graph (0, 0)][DBLP]
   Information and Control, 1981, v:50, n:2, pp:110-118 [Journal]
   
4. Haruhiko Kimura, Sadaki Hirose, Hidetaka Nambo
   High-speed consistency checking for hypothetical reasoning systems using inference path network. [Citation Graph (0, 0)][DBLP]
   Systems and Computers in Japan, 2002, v:33, n:9, pp:109-118 [Journal]
   
5. Haruhiko Kimura, Sadaki Hirose, Kuniyasu Tajima
   High speed subsumption processing for hypothetical reasoning using inference-path networks. [Citation Graph (0, 0)][DBLP]
   Systems and Computers in Japan, 1997, v:28, n:12, pp:43-52 [Journal]
   
6. Makoto Koshino, Tadashi Okamine, Haruhiko Kimura, Sadaki Hirose
   Improving heuristic function of cost-based abduction system using real-time heuristic search. [Citation Graph (0, 0)][DBLP]
   Systems and Computers in Japan, 2004, v:35, n:6, pp:89-97 [Journal]
   
7. Hidetaka Nambo, Haruhiko Kimura, Sadaki Hirose
   High-speed production system using dynamic two-way switching of match algorithm. [Citation Graph (0, 0)][DBLP]
   Systems and Computers in Japan, 2001, v:32, n:9, pp:61-70 [Journal]
   
8. Hideaki Nobata, Haruhiko Kimura, Sadaki Hirose
   A proposal to reduce cumulative reasoning time in hypothetical reasoning. [Citation Graph (0, 0)][DBLP]
   Systems and Computers in Japan, 1999, v:30, n:12, pp:63-71 [Journal]
   
9. Yasuhiro Ogoshi, Haruhiko Kimura, Sadaki Hirose, Nobuyasu Osato
   Elevator group control system using multiagent system. [Citation Graph (0, 0)][DBLP]
   Systems and Computers in Japan, 2003, v:34, n:1, pp:45-58 [Journal]
   
10. Sadaki Hirose, Satoshi Okawa, Masaaki Yoneda
    A Homomorphic Characterization of Recursively Enumerable Languages. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1985, v:35, n:, pp:261-269 [Journal]
    
11. Sadaki Hirose, Masaaki Yoneda
    On the Chomsky and Stanley's Homomorphic Characterization of Context-Free Languages. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1985, v:36, n:, pp:109-112 [Journal]
    
12. Satoshi Okawa, Sadaki Hirose
    Homomorphic characterizations of recursively enumerable languages with very small language classes. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2001, v:250, n:1-2, pp:55-69 [Journal]
    
13. Satoshi Okawa, Sadaki Hirose, Masaaki Yoneda
    On the Impossibility of the Homomorphic Characterization of Context-Sensitive Languages. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1986, v:44, n:, pp:225-228 [Journal]