# Teruo Hikita

According to our database

Collaborative distances:

^{1}, Teruo Hikita authored at least 14 papers between 1977 and 2012.Collaborative distances:

## 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

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.

Proceedings of the Information Processing, Proceedings of the 8th IFIP Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia, 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