Osamu Takaki

From MaRDI portal
Person:1130231

Available identifiers

zbMath Open takaki.osamuMaRDI QIDQ1130231

List of research outcomes





PublicationDate of PublicationType
A coalgebraic representation of reduction by cone of influence2013-12-04Paper
Primitive recursive analogues of regular cardinals based on ordinal representation systems for KPi and KPM2005-09-13Paper
https://portal.mardi4nfdi.de/entity/Q44215702003-11-12Paper
https://portal.mardi4nfdi.de/entity/Q44215712003-08-31Paper
https://portal.mardi4nfdi.de/entity/Q48063012003-06-23Paper
Finite presentability of strongly finite dilators2002-01-21Paper
Strong normalization theorem for a constructive arithmetic with definition by transfinite recursion and bar induction1998-11-08Paper

Research outcomes over time

This page was built for person: Osamu Takaki

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1130231&oldid=5986971"
Powered by MediaWiki