書き換えシステムの理論とその応用

研究集会名

書き換えシステムの理論とその応用

日時

7/24 - 7/26

会場

京都大学数理解析研究所

プログラム・予稿集

プログラム(兼予稿集)はここにあります.

問合せ先

外山芳人

toyama@jaist.ac.jp