×
Author ID: hirokawa.sachio Recent zbMATH articles by "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

Publications by Year

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

Citations by Year