# Teruo Hikita

According to our database

^{1}, Teruo Hikita## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2012

Honouring Ivo G. Rosenberg: His Contributions to ISMVL.

Proceedings of the 42nd IEEE International Symposium on Multiple-Valued Logic, 2012

1995

Process Composition and Interleave Reduction in Parallel Process Specification.

IEICE Transactions, 1995

1994

A mapping system from Object-Z to C++.

Proceedings of the First Asia-Pacific Software Engineering Conference, 1994

1990

A Rewriting System for Categorical Combinators with Multiple Arguments.

SIAM J. Comput., 1990

1988

Sheffer and Symmetric Sheffer Boolean Functions under Various Functional Constructions.

Elektronische Informationsverarbeitung und Kybernetik, 1988

1985

A Method of Program Transformation between Variable Sharing and Message Passing.

Softw., Pract. Exper., 1985

The BC-chain Method for Representing Combinators in Linear Space.

New Generation Comput., 1985

1984

The BC-Chain Method for Representing Combinators in Linear Space.

Proceedings of the RIMS Symposia on Software Science and Engineering II, 1984

1983

Listing and Counting Subtrees of Equal Size of a Binary Tree.

Inf. Process. Lett., 1983

1980

Parallel Sieve Methods for Generating Prime Numbers.

IFIP Congress, 1980

1979

On the Number of Multivalued Switching Functions Realizable by Cascades.

IEEE Trans. Computers, 1979

Corrigenda: A Completeness Criterion for Spectra.

SIAM J. Comput., 1979

On a Class of Recursive Procedures and Equivalent Iterative Ones.

Acta Inf., 1979

1977

A Completeness Criterion for Spectra.

SIAM J. Comput., 1977

An O(N) Algorithm for Finding Periodicity of a Sequence Using Hash Coding.

Inf. Process. Lett., 1977