Toshiyuki Yamada

12 papers Journal 3Unranked 9
YearRankTypeTitle / Venue / Authors
2023 — conf
Developing a New Research Data Infrastructure for Japanese Historical Materials.
DH
Ayako Shibutani, Satoru Nakamura, Kanako Hirasawa, Honami Inukai, Toshiyuki Yamada, Airu Adachi, Ikki Ohmukai, Taizo Yamada
2011 — conf
Natural Inductive Theorems for Higher-Order Rewriting.
RTA
Takahito Aoto, Toshiyuki Yamada, Yuki Chiba
2009 — conf
Argument Filterings and Usable Rules for Simply Typed Dependency Pairs.
FroCoS
Takahito Aoto, Toshiyuki Yamada
2006 J jnl
The Joinability and Related Decision Problems for Semi-constructor TRSs.
Inf. Media Technol.
Ichiro Mitsuhashi, Michio Oyamaguchi, Yoshikatsu Ohta, Toshiyuki Yamada
2006 J jnl
The reachability and related decision problems for monadic and semi-constructor TRSs.
Inf. Process. Lett.
Ichiro Mitsuhashi, Michio Oyamaguchi, Toshiyuki Yamada
2005 — conf
Dependency Pairs for Simply Typed Term Rewriting.
RTA
Takahito Aoto, Toshiyuki Yamada
2004 — conf
Inductive Theorems for Higher-Order Rewriting.
RTA
Takahito Aoto, Toshiyuki Yamada, Yoshihito Toyama
2004 — conf
The Joinability and Unification Problems for Confluent Semi-constructor TRSs.
RTA
Ichiro Mitsuhashi, Michio Oyamaguchi, Yoshikatsu Ohta, Toshiyuki Yamada
2003 — conf
Termination of Simply Typed Term Rewriting by Translation and Labelling.
RTA
Takahito Aoto, Toshiyuki Yamada
2001 — conf
Confluence and Termination of Simply Typed Term Rewriting Systems.
RTA
Toshiyuki Yamada
2000 J jnl
Logicality of conditional rewrite systems.
Theor. Comput. Sci.
Toshiyuki Yamada, Jürgen Avenhaus, Carlos Loría-Sáenz, Aart Middeldorp
1997 — conf
Logicality of Conditional Rewrite Systems.
TAPSOFT
Toshiyuki Yamada, Jürgen Avenhaus, Carlos Loría-Sáenz, Aart Middeldorp