Teruo Hikita

According to our database1, 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


  Loading...