Sendai Logic - 仙台ロジック
Mathematical Institute, Graduate School of Science, Tohoku University
2018.04.27. 田中 一之
無限ゲームと様相μ計算
READ MORE
15
16
17
18
19
Pages
Kazuyuki Tanaka's CV
Publications
Books
CTFM
SLS