山田 俊行
ヤマダ トシユキ (Toshiyuki Yamada)
更新日: 01/17
基本情報
研究キーワード
8研究分野
1学歴
1-
- 1999年
受賞
1MISC
11-
Proceedings of the 16th International Conference on Rewriting Techniques and Applications (RTA'05), Lecture Notes in Computer Science Vol. 3467, pp.120-134 2005年
-
Proceedings of the 15th International Conference on Rewriting Techniques and Applications (RTA'04), Lecture Notes in Computer Science Vol. 3091, pp. 285-300 2004年
-
Proceedings of the 15th International Conference on Rewriting Techniques and Applications (RTA'04), Lecture Notes in Computer Science Vol. 3091, pp. 269-284 2004年
-
情報処理学会論文誌:プログラミング Vol.44(SIG 4 PRO 17) pp.56-66 2003年
-
情報処理学会論文誌:プログラミング No.44(SIG 4 PRO 17) pp.67-77 2003年
-
Proceedings of the 14th International Conference on Rewriting Techniques and Applications (RTA'03), Lecture Notes in Computer Science Vol. 2706, pp. 380-394 2003年
-
第2回情報科学技術フォーラム(FIT2003)講演論文集,情報技術レターズ Vol.2 pp.21-22 2003年
-
Proceedings of the 12th International Conference on Rewriting Techniques and Applications (RTA'01), Lecture Notes in Computer Science Vol.2051 pp.338-352 2001年
-
Theoretical Computer Science Vol.236 Nos.1-2 pp.209-232 2000年
-
Proceedings of the 22nd International Colloquium on Trees in Algebra and Programming (CAAP'97), Lecture Notes in Computer Science Vol.1214, pp.141-152 1997年
-
コンピュータソフトウェア Vol.12 No.5 pp.72-84 1995年
所属学協会
1共同研究・競争的資金等の研究課題
3-
2002年 - 2005年