高木 理 | 京都大学総合人間学部非常勤講師
スポンサーリンク
概要
関連著者
著作論文
- Reconstruction of Gaifman's characterization of Mahlo cardinals (Algebraic Systems, Formal Languages and Conventional and Unconventional Computation Theory)
- An MR-complete systems S and its functional interpretation (Languages, Algebra and Computer Systems)