所属学協会
岡田 光弘
21~30件（全30件）
1995 - 1996
Electronic Notes of Theoretical Computer Science(E
1995 - 1996
第２回線形論理国際会議(Linear Logic 96, 1996年4月）
1993 - 1997
RTA(Rewriting Technique and Application)
1993 - 1996
IEEE-LICS（Logic in Computer Science)
1993.06
LICS93（IEEE-Logic in Computer Science)
1993.06
RTA93（Rewriting Tecniques and Applications)
1991.12
MWPL（Montreal Workshops) P.Scottと共同編集
1991.04
MWPL（Montreal Workshops) P.Scottと共同編集
1991.04 - 1993.03
ICOT(新世代コンピュータ技術開発機構（通産省外郭団体））「並行証明」部門委員会
1990.06
CTRS(International Woorkshop on Conditional and Ｔｙ