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, Aart Middeldorp, Jan Willem Klop, 1991 .

Yoshihito Toyama, Takahito Aoto, Junichi Yoshida, 2009, RTA.

Yoshihito Toyama, Takahito Aoto, Y. Toyama, 1997, ALP/HOA.

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 .