Yoshito Hanatani

Available identifiers

zbMath Open hanatani.yoshitoMaRDI QIDQ1077945

List of research outcomes

Publication	Date of Publication	Type
A simple characterization of database dependency implication	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4077990	1975-01-01	Paper
D^|^eacute;monstration de l'^|^omega;-non-contradiction de l'arithm^|^eacute;tique	1968-01-01	Paper
Calculabilit^|^eacute; des Fonctionnelles R^|^eacute;cursives Primitives de Type Fini sur les Nombres Naturels	1966-01-01	Paper

Research outcomes over time

This page was built for person: Yoshito Hanatani