Ken Hirose

MaRDI QIDQ792084zbMATH OpenWikidataFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
scientific article; zbMATH DE number 4009856 (Why is no real title available?)	1986-01-01	Paper
scientific article; zbMATH DE number 4007700 (Why is no real title available?)	1986-01-01	Paper
A formal system for specification analysis of concurrent programs Publications of the Research Institute for Mathematical Sciences, Kyoto University	1983-01-01	Paper
scientific article; zbMATH DE number 3779310 (Why is no real title available?)	1981-01-01	Paper
scientific article; zbMATH DE number 3708353 (Why is no real title available?)	1979-01-01	Paper
scientific article; zbMATH DE number 3588652 (Why is no real title available?)	1975-01-01	Paper
scientific article; zbMATH DE number 3476552 (Why is no real title available?)	1974-01-01	Paper
A proof of negative answer to Hilbert's $10$th problem Proceedings of the Japan Academy, Series A, Mathematical Sciences	1973-01-01	Paper
scientific article; zbMATH DE number 3476583 (Why is no real title available?)	1973-01-01	Paper
An investigation on degrees of unsolvability Journal of the Mathematical Society of Japan	1968-01-01	Paper
scientific article; zbMATH DE number 3326472 (Why is no real title available?)	1968-01-01	Paper
On complete degrees Proceedings of the Japan Academy, Series A, Mathematical Sciences	1965-01-01	Paper
scientific article; zbMATH DE number 3321266 (Why is no real title available?)	1964-01-01	Paper
scientific article; zbMATH DE number 3192961 (Why is no real title available?)	1963-01-01	Paper

Research outcomes over time

This page was built for person: Ken Hirose