Ogata Kazuhiro | Graduate School of Information Scinece, Japan Advanced Institute of Science and Technology
スポンサーリンク
概要
- Ogata Kazuhiroの詳細を見る
- 同名の論文著者
- Graduate School of Information Scinece, Japan Advanced Institute of Science and Technologyの論文著者
Graduate School of Information Scinece, Japan Advanced Institute of Science and Technology | 論文
- User-defined on-demand matching
- The equivalence of the reductions with the E-strategy with and without marks
- Constructor-based Institutions
- Algebraic approaches to formal analysis of the mondex electronic purse system
- Formal analysis of the iKP electronic payment protocols