Y. Toyama
发表
Yoshihito Toyama,
Aart Middeldorp,
A. Middeldorp,
1991,
RTA.
Hendrik Pieter Barendregt,
Yoshihito Toyama,
Jan Willem Klop,
1989,
RTA.
Yoshihito Toyama,
Aart Middeldorp,
Jan Willem Klop,
1994,
Inf. Process. Lett..
Yoshihito Toyama,
Y. Toyama,
1988,
CTRS.
Yoshihito Toyama,
Sergio Antoy,
Y. Toyama,
2004
.
Yoshihito Toyama,
Aart Middeldorp,
Jan Willem Klop,
1991
.
Yoshihito Toyama,
Y. Toyama,
2008,
RTA.
Yoshihito Toyama,
Y. Toyama,
2004,
RTA.
Yoshihito Toyama,
Takahito Aoto,
Junichi Yoshida,
2009,
RTA.
Yoshihito Toyama,
Takahito Aoto,
Y. Toyama,
1997,
ALP/HOA.
Yoshihito Toyama,
Y. Toyama,
1984,
JACM.
Yoshihito Toyama,
Takahito Aoto,
Toshiyuki Yamada,
2004,
RTA.
Yoshihito Toyama,
Y. Toyama,
1986,
Theor. Comput. Sci..
Yoshihito Toyama,
Takahito Aoto,
Y. Toyama,
1998,
RTA.
Yoshihito Toyama,
Aart Middeldorp,
A. Middeldorp,
1991,
RTA.
Yoshihito Toyama,
Y. Toyama,
1987,
Inf. Process. Lett..
Yoshihito Toyama,
Masahiko Sakai,
Y. Toyama,
1998,
Theor. Comput. Sci..
Yoshihito Toyama,
Takahito Aoto,
Kazumasa Uchida,
2014,
RTA-TLCA.
Yoshihito Toyama,
Takahito Aoto,
Y. Toyama,
2012,
Log. Methods Comput. Sci..
Yuki Chiba,
Yoshihito Toyama,
Takahito Aoto,
2008
.
Yuki Chiba,
Yoshihito Toyama,
Takahito Aoto,
2006
.
Yuki Chiba,
Yoshihito Toyama,
Takahito Aoto,
2005,
PPDP.
Yoshihito Toyama,
Keiichirou Kusakari,
Masaki Nakamura,
1999,
PPDP.
Vincent van Oostrom,
Yoshihito Toyama,
Y. Toyama,
2016,
FSCD.
Yoshihito Toyama,
Keiichirou Kusakari,
Masaki Nakamura,
2006,
J. Autom. Reason..
Yoshihito Toyama,
Y. Toyama,
2005,
Processes, Terms and Cycles.
Yoshihito Toyama,
Takashi Nagaya,
Y. Toyama,
1999,
RTA.
Takashi Nagaya,
Yoshihito Toyama,
Y. Toyama,
1998,
Inf. Comput..
Rinus Plasmeijer,
Yoshihito Toyama,
Sjaak Smetsers,
1993
.
Yoshihito Toyama,
Masahiko Sakai,
Yoshitaka Takahashi,
1994
.