The following pages link to Yoshito Hanatani (Q1077945):
Displayed 4 items.
- A simple characterization of database dependency implication (Q1077946) (← links)
- (Q4077990) (← links)
- Calculabilit^|^eacute; des Fonctionnelles R^|^eacute;cursives Primitives de Type Fini sur les Nombres Naturels (Q5518361) (← links)
- D^|^eacute;monstration de l'^|^omega;-non-contradiction de l'arithm^|^eacute;tique (Q5569436) (← links)