Toshiyuki Yamada

Publication Activity (10 Years)

Years Active: 1997-2023
Publications (10 Years): 1

Top Topics

Bayesian Networks

Data Mining Techniques

Knowledge Discovery

Top Venues

Publications

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