東野 輝夫 | Department of Information and Computer Sciences, Faculty of Engineering Science, Osaka University
スポンサーリンク
概要
- 同名の論文著者
- Department of Information and Computer Sciences, Faculty of Engineering Science, Osaka Universityの論文著者
関連著者
-
東野 輝夫
Department of Information and Computer Sciences, Faculty of Engineering Science, Osaka University
-
東野 輝夫
大阪大学大学院情報科学研究科|独立行政法人科学技術振興機構 Crest
-
谷口 健一
Department of Information and Computer Sciences, Faculty of Engineering Science, Osaka University
-
嵩 忠雄
Department of Information and Computer Sciences, Faculty of Engineering Science, Osaka University
-
服部 哲
神奈川工科大学情報学部
-
服部 哲
北陸先端科学技術大学院大学情報科学研究科
-
服部 哲
Department of Information and Computer Sciences, Faculty of Engineering Science, Osaka University
-
岡野 浩三
Department of Information and Computer Sciences, Faculty of Engineering Science, Osaka University
-
東野 輝夫[他]
Department of Information and Computer Sciences, Faculty of Engineering Science, Osaka University
著作論文
- An Algebraic Method For Verifying Progress Property of Communication Protocolos
- Modular Confluence of Conditional Term Rewriting Systems with Extra Variables in Right-Hand Sides