Toshiyuki Yamada

According to our database, Toshiyuki Yamada authored at least 11 papers between 2000 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Developing a New Research Data Infrastructure for Japanese Historical Materials.

Ayako Shibutani, Satoru Nakamura, Kanako Hirasawa, Honami Inukai, Toshiyuki Yamada, Airu Adachi, Ikki Ohmukai, Taizo Yamada

Proceedings of the Annual International Conference of the Alliance of Digital Humanities Organizations, 2023

2011

Natural Inductive Theorems for Higher-Order Rewriting.

Takahito Aoto, Toshiyuki Yamada, Yuki Chiba

Proceedings of the 22nd International Conference on Rewriting Techniques and Applications, 2011

2009

Argument Filterings and Usable Rules for Simply Typed Dependency Pairs.

Takahito Aoto, Toshiyuki Yamada

Proceedings of the Frontiers of Combining Systems, 7th International Symposium, 2009

2006

The reachability and related decision problems for monadic and semi-constructor TRSs.

Ichiro Mitsuhashi, Michio Oyamaguchi, Toshiyuki Yamada

Inf. Process. Lett., 2006

The Joinability and Related Decision Problems for Semi-constructor TRSs.

Ichiro Mitsuhashi, Michio Oyamaguchi, Yoshikatsu Ohta, Toshiyuki Yamada

Inf. Media Technol., 2006

2005

Dependency Pairs for Simply Typed Term Rewriting.

Takahito Aoto, Toshiyuki Yamada

Proceedings of the Term Rewriting and Applications, 16th International Conference, 2005

2004

The Joinability and Unification Problems for Confluent Semi-constructor TRSs.

Ichiro Mitsuhashi, Michio Oyamaguchi, Yoshikatsu Ohta, Toshiyuki Yamada

Proceedings of the Rewriting Techniques and Applications, 15th International Conference, 2004

Inductive Theorems for Higher-Order Rewriting.

Takahito Aoto, Toshiyuki Yamada, Yoshihito Toyama

Proceedings of the Rewriting Techniques and Applications, 15th International Conference, 2004

2003

Termination of Simply Typed Term Rewriting by Translation and Labelling.

Takahito Aoto, Toshiyuki Yamada

Proceedings of the Rewriting Techniques and Applications, 14th International Conference, 2003

2001

Confluence and Termination of Simply Typed Term Rewriting Systems.

Toshiyuki Yamada

Proceedings of the Rewriting Techniques and Applications, 12th International Conference, 2001

2000

Logicality of conditional rewrite systems.

Toshiyuki Yamada, Jürgen Avenhaus, Carlos Loría-Sáenz, Aart Middeldorp

Theor. Comput. Sci., 2000