1
Publications
11
Citations
1
H-Index
2020
Active since
Affiliations
Takafumi Saikawa is an author at Centre de Recherche en Informatique, Signal et Automatique de Lille.
Publications per year
2020–2020
1
1
A Trustful Monad for Axiomatic Reasoning with Probability and\n Nondeterminism
Reynald Affeldt, Jacques Garrigue, David Nowak et al. · arXiv (Cornell University) · 2020 · 11 citations · Full text
Rows per page
1–1 of 1