| 1990 |
|---|
| 12 | | Hirofumi Yokouchi,
Teruo Hikita:
A Rewriting System for Categorical Combinators with Multiple Arguments.
SIAM J. Comput. 19(1): 78-97 (1990) |
| 1988 |
|---|
| 11 | | Masahiro Miyakawa,
Ivan Stojmenovic,
Teruo Hikita,
Hajime Machida,
Rusins Freivalds:
Sheffer and Symmetric Sheffer Boolean Functions under Various Functional Constructions.
Elektronische Informationsverarbeitung und Kybernetik 24(6): 251-266 (1988) |
| 1985 |
|---|
| 10 | | Kohei Noshita,
Teruo Hikita:
The BC-chain Method for Representing Combinators in Linear Space.
New Generation Comput. 3(2): 131-144 (1985) |
| 9 | | Teruo Hikita,
Kiyoshi Ishihata:
A Method of Program Transformation between Variable Sharing and Message Passing.
Softw., Pract. Exper. 15(7): 677-692 (1985) |
| 1984 |
|---|
| 8 | | Kohei Noshita,
Teruo Hikita:
The BC-Chain Method for Representing Combinators in Linear Space.
RIMS Symposia on Software Science and Engineering 1984: 292-306 |
| 1983 |
|---|
| 7 | | Teruo Hikita:
Listing and Counting Subtrees of Equal Size of a Binary Tree.
Inf. Process. Lett. 17(4): 225-229 (1983) |
| 1980 |
|---|
| 6 | | Teruo Hikita,
Satoru Kawai:
Parallel Sieve Methods for Generating Prime Numbers.
IFIP Congress 1980: 257-262 |
| 1979 |
|---|
| 5 | | Teruo Hikita:
On a Class of Recursive Procedures and Equivalent Iterative Ones.
Acta Inf. 12: 305-320 (1979) |
| 4 | | Teruo Hikita,
Hajime Enomoto:
On the Number of Multivalued Switching Functions Realizable by Cascades.
IEEE Trans. Computers 28(5): 371-374 (1979) |
| 3 | | Teruo Hikita,
Akihiro Nozaki:
Corrigenda: A Completeness Criterion for Spectra.
SIAM J. Comput. 8(4): 656 (1979) |
| 1977 |
|---|
| 2 | | Teruo Hikita,
Eiichi Goto:
An O(N) Algorithm for Finding Periodicity of a Sequence Using Hash Coding.
Inf. Process. Lett. 6(2): 69-71 (1977) |
| 1 | | Teruo Hikita,
Akihiro Nozaki:
A Completeness Criterion for Spectra.
SIAM J. Comput. 6(2): 285-297 (1977) |
