Edit Profile (opens in new tab) Hirokawa, Sachio Co-Author Distance Author ID: hirokawa.sachio Published as: Hirokawa, Sachio; Hirokawa, S. Documents Indexed: 30 Publications since 1978 Co-Authors: 19 Co-Authors with 16 Joint Publications 214 Co-Co-Authors all top 5 Co-Authors 12 single-authored 5 Ikeda, Daisuke 4 Yamada, Yasuhiro 3 Baba, Kensuke 3 Komori, Yuichi 2 Akama, Yohji 2 Kameyama, Yukiyoshi 2 Takahashi, Masako 1 Masao 1 Miyahara, Tetsuhiro 1 Miyano, Satoru 1 Nagano, Daisuke 1 Nagayama, Misao 1 Nakatoh, Tetsuya 1 Sekimoto, Shoji 1 Shoudai, Takayoshi 1 Suzuki, Yusuke 1 Takahashi, Kenichi 1 Takeuti, Izumi 1 Uchida, Tomoyuki 1 Ueda, Hiroaki all top 5 Serials 4 Theoretical Computer Science 3 The Journal of Symbolic Logic 2 Mathematica Japonica 2 Studia Logica 1 Memoirs of the Faculty of Science. Series A. Mathematics 1 Bulletin of Informatics and Cybernetics 1 Information and Computation 1 Journal of Logic and Computation 1 International Journal of Foundations of Computer Science 1 Journal of Automata, Languages and Combinatorics 1 RIMS Kokyuroku Fields 17 Computer science (68-XX) 16 Mathematical logic and foundations (03-XX) 1 Category theory; homological algebra (18-XX) 1 Group theory and generalizations (20-XX) 1 Quantum theory (81-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 14 Publications have been cited 36 times in 26 Documents Cited by ▼ Year ▼ Parallel reduction in type free lambda/mu-calculus. Zbl 0971.68019 Baba, K.; Hirokawa, S.; Fujita, K. 10 2001 Principal types of BCK-lambda-terms. Zbl 0770.03006 Hirokawa, Sachio 9 1993 Normal proofs and their grammar. Zbl 0853.68122 Takahashi, Masako; Akama, Yohji; Hirokawa, Sachio 6 1996 Long normal form proof search and counter-model generation. Zbl 0970.68143 Hirokawa, Sachio; Nagano, Daisuke 4 2000 The converse principal type-scheme theorem in lambda calculus. Zbl 0786.03014 Hirokawa, Sachio 3 1992 A reduction rule for Peirce formula. Zbl 0857.03004 Hirokawa, Sachio; Komori, Yuichi; Takeuti, Izumi 2 1996 Balanced formulas, BCK-minimal formulas and their proofs. Zbl 0978.03517 Hirokawa, Sachio 2 1992 Infiniteness of \(\text{proof}(\alpha)\) is polynomial-space complete. Zbl 0912.68186 Hirokawa, Sachio 2 1998 Principal type assignment to lambda terms. Zbl 0746.03012 Hirokawa, Sachio 2 1991 The number of proofs for a BCK-formula. Zbl 0787.03012 Komori, Yuichi; Hirokawa, Sachio 2 1993 Some properties of one-step recurrent terms in lambda calculus. Zbl 0643.03009 Hirokawa, Sachio 1 1987 The proofs of \(\alpha\to \alpha\) in \(P-W\). Zbl 0853.03002 Hirokawa, Sachio 1 1996 Combinatory logic and \(\lambda\)-calculus for classical logic. Zbl 1034.03011 Baba, Kensuke; Kameyama, Yukiyoshi; Hirokawa, Sachio 1 2000 The relevance graph of a BCK-formula. Zbl 0790.03013 Hirokawa, Sachio 1 1993 Parallel reduction in type free lambda/mu-calculus. Zbl 0971.68019 Baba, K.; Hirokawa, S.; Fujita, K. 10 2001 Long normal form proof search and counter-model generation. Zbl 0970.68143 Hirokawa, Sachio; Nagano, Daisuke 4 2000 Combinatory logic and \(\lambda\)-calculus for classical logic. Zbl 1034.03011 Baba, Kensuke; Kameyama, Yukiyoshi; Hirokawa, Sachio 1 2000 Infiniteness of \(\text{proof}(\alpha)\) is polynomial-space complete. Zbl 0912.68186 Hirokawa, Sachio 2 1998 Normal proofs and their grammar. Zbl 0853.68122 Takahashi, Masako; Akama, Yohji; Hirokawa, Sachio 6 1996 A reduction rule for Peirce formula. Zbl 0857.03004 Hirokawa, Sachio; Komori, Yuichi; Takeuti, Izumi 2 1996 The proofs of \(\alpha\to \alpha\) in \(P-W\). Zbl 0853.03002 Hirokawa, Sachio 1 1996 Principal types of BCK-lambda-terms. Zbl 0770.03006 Hirokawa, Sachio 9 1993 The number of proofs for a BCK-formula. Zbl 0787.03012 Komori, Yuichi; Hirokawa, Sachio 2 1993 The relevance graph of a BCK-formula. Zbl 0790.03013 Hirokawa, Sachio 1 1993 The converse principal type-scheme theorem in lambda calculus. Zbl 0786.03014 Hirokawa, Sachio 3 1992 Balanced formulas, BCK-minimal formulas and their proofs. Zbl 0978.03517 Hirokawa, Sachio 2 1992 Principal type assignment to lambda terms. Zbl 0746.03012 Hirokawa, Sachio 2 1991 Some properties of one-step recurrent terms in lambda calculus. Zbl 0643.03009 Hirokawa, Sachio 1 1987 all cited Publications top 5 cited Publications all top 5 Cited by 31 Authors 5 Hirokawa, Sachio 3 Broda, Sabine 2 Bunder, Martin W. 2 Damas, Luís 2 Espírito Santo, José Carlos 2 Matthes, Ralph 2 Pinto, Luís F. 1 Akiba, Ken 1 Alves, Sandra 1 Bourreau, Pierre 1 David, Rene 1 Dowek, Gilles 1 Ferrari, Mauro 1 Fiorentini, Camillo 1 Fiorino, Guido 1 Hindley, J. Roger 1 Izumi, Takeuti 1 Jiang, Ying 1 Kanazawa, Makoto 1 Kechris, Alexander S. 1 Komori, Yuichi 1 Salvati, Sylvain 1 Schurz, Gerhard 1 Sekimoto, Shoji 1 Takeuti, Izumi 1 Tatsuta, Makoto 1 Urzyczyn, Paweł 1 Wood, Carol 1 Xuan, Qichao 1 Xue, Tao 1 Zaionc, Marek all top 5 Cited in 10 Serials 6 Theoretical Computer Science 3 Studia Logica 2 Annals of Pure and Applied Logic 2 The Bulletin of Symbolic Logic 1 Information Processing Letters 1 The Journal of Symbolic Logic 1 Information and Computation 1 Journal of Automated Reasoning 1 MSCS. Mathematical Structures in Computer Science 1 Archive for Mathematical Logic Cited in 4 Fields 22 Mathematical logic and foundations (03-XX) 9 Computer science (68-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Citations by Year