No.918
書き換えシステムの理論とその応用
Theory of Rewriting Systems and Its Applications
1995/07/24〜1995/07/26
外山 芳人
Yoshihito Toyama
目 次
Center of Tsukuba Advanced Research Alliance, University of Tsukuba / Center of Tsukuba Advanced Research Alliance, University of Tsukuba / Center of Tsukuba Advanced Research Alliance, University of Tsukuba Suzuki, Taro / Middeldorp, Aart / Ida, Tetsuo
School of Information Science, Japan Advanced Institute of Science and Technology Sakai, Masahiko
Faculty of Engineering, Hokkaido University / Faculty of Engineering, Hokkaido University / Faculty of Engineering, Hokkaido University NUMAZAWA, Masanobu / KURIHARA, Masahito / OHUCHI, Azuma
Institute of Systems and Information Engineering, Hokkaido University / Department of Systems Engineering, Ibaraki University / Institute of Systems and Information Engineering, Hokkaido University Kurihara, Masahito / Kondo, Hisashi / Ohuchi, Azuma
Institute of Systems and Information Engineering, Faculty of Engineering, Hokkaido University / Institute of Systems and Information Engineering, Faculty of Engineering, Hokkaido University / Institute of Systems and Information Engineering, Faculty of Engineering, Hokkaido University NOTO, Masato / KURIHARA, Masahito / OHUCHI, Azuma
Department of Control Engineering and Science, Kyushu Institute of Technology / Research Institute of Fundamental Information Science, Kyushu University MIZOGUCHI, Yoshihiro / KAWAHARA, Yasuo
Department of Information Systems, Interdisciplinary Graduate School of Engineering Science, Kyushu University / Research Institute of Fundamental Information Science, Kyushu University MORI, Masao / KAWAHARA, Yasuo
ATR Communication Systems Research Laboratories / ATR Communication Systems Research Laboratories / ATR Communication Systems Research Laboratories Takura, Akira / Sera, Takafumi / Ohta, Tadashi
Department of Computer Science, Utrecht University / Institute of Information Sciences and Electronics. University of Tsukuba / Institute of Information Sciences and Electronics. University of Tsukuba Ferreira, Maria C.F. / Middeldorp. Aart / Ohsaki, Hitoshi[他]
NTT Basic Research Laboratories Ogawa, Mizuhito
School of Information Science, JAIST / School of Information Science, JAIST / School of Information Science, JAIST Nagaya, Takashi / Sakai, Masahiko / Toyama, Yoshihito
CNRS and LRI, Bat. 490, Universite de Paris Sud Comon, Hubert
School of Information Science, JAIST / Faculty of Engineering, Mie University Toyama, Yoshihito / Oyamaguchi, Michio
Faculty of Engineering, Mie University / Faculty of Engineering, Mie University Oyamaguchi, Michio / Gomi, Hiroshi
NTT Communication Science Labs. / NTT Basic Research Labs. Mano, Ken / Ogawa, Mizuhito
Kyushu Institute of Technology Fujita, Ken-etsu
School of Information Science, JAIST Mouri, Motohiko
Hitachi Software Engineering Co., Ltd. Kumeta, Akefumi
Faculty of Engineering, Gifu University NAOI, Tohru
Department of Computer Science, Ritsumeikan University Takayama, Yukihide
Hitachi Advanced Research Lab / Utrecht University Takano, Akihiko / Meijer, Erik
Tokyo Institute of Technology Yutaka, Kikuchi
Dept. of Computer Science Ritsumeikan University Sato, Yosuke
School of Information Science, Japan Advanced Institute of Science and Technology / School of Information Science, Japan Advanced Institute of Science and Technology / School of Information Science, Japan Advanced Institute of Science and Technology Ishikawa, Hiroshi / Futatsugi, Kokichi / Watanabe, Takuo