Searching for authors named Sachio Hirokawa – sorted by Relevance.
-
Long Normal Form Proof Search and Counter-Model Generation
- TTL-PSS00 Preliminary Version Long Normal Form Proof Search and Counter-Model Generation Sachio
- Add To MetaCart
-
Combinatory Logic and lambda-Calculus for Classical Logic
- , Yukiyoshi Kameyama, Sachio Hirokawa August 18, 2000 Department of Informatics Kyushu University Fukuoka 812
- Add To MetaCart
-
Parallel Reduction in Type Free lambda µ-Calculus
- Kensuke Baba 1 , Sachio Hirokawa 2 , and Ken-etsu Fujita 3 1 Graduate School of Information Science
- Add To MetaCart
-
Developing a Knowledge Network of URLs
- Developing a Knowledge Network of URLs Daisuke Ikeda 1 , Tsuyoshi Taguchi 2 , and Sachio
- Add To MetaCart
-
Automatic Wrapper Generation for Multilingual Web Resources
- , and Sachio Hirokawa 2 1 Graduate School of Information Science and Electrical Engineering, Kyushu University
- Cited by 3 (2 self) – Add To MetaCart
-
Normal Proofs and Their Grammar
- , Tokyo Institute of Technology, Japan (e-mail: masako,akama@(email omitted);) and Sachio Hirokawa
- Cited by 2 (0 self) – Add To MetaCart
-
A Pattern Discovery Algorithm by Substring Amplification
- , and Sachio Hirokawa 1 1 Computing and Communications Center, Kyushu University {daisuke, hirokawa
- Cited by 1 (1 self) – Add To MetaCart
-
Functional Composition of Web Databases
- Functional Composition of Web Databases Masao Mori 1 , Tetsuya Nakatoh 2 , and Sachio Hirokawa 2 1
- Cited by 1 (1 self) – Add To MetaCart
-
Links and Cycles of Web Databases
- Links and Cycles of Web Databases Masao Mori 1 , Tetsuya Nakatoh 2 , and Sachio Hirokawa 2 1
- Add To MetaCart
-
On-Web-Visualizing A Mechanism Of A Single Chip Computer For Computer Literacy Courses
- MINE 1 Daisuke NAGANO 2 Kensuke BABA 2 Takayoshi SHOUDAI 2 Sachio HIROKAWA 3 1,2 Graduate
- Add To MetaCart

