Teruo Hikita

Available identifiers

zbMath Open hikita.teruoMaRDI QIDQ1055195

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q3365836	2006-02-13	Paper
Completeness for uniformly delayed circuits, a survey	2001-11-25	Paper
A Rewriting System for Categorical Combinators with Multiple Arguments	1990-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3801481	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3721815	1986-01-01	Paper
The BC-chain method for representing combinators in linear space	1985-01-01	Paper
A method of program transformation between variable sharing and message passing	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3686038	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3683527	1984-01-01	Paper
Listing and counting subtrees of equal size of a binary tree	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3677661	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3936719	1981-01-01	Paper
Completeness Properties ofk-Valued Functions with Delays Inclusions among Closed Spectra	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3953165	1980-01-01	Paper
On a class of recursive procedures and equivalent iterative ones	1979-01-01	Paper
Corrigenda: A Completeness Criterion for Spectra	1979-01-01	Paper
Completeness criterion for functions with delay defined over a domain of three elements	1978-01-01	Paper
An O(N) algorithm for finding periodicity of a sequence using hash coding	1977-01-01	Paper
A Completeness Criterion for Spectra	1977-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Teruo Hikita