Yoshihito Toyama
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
1986–2015
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | LOPSTR | Correctness of Context-Moving Transformations for Term Rewriting Systems. | Koichi Sato, Kentaro Kikuchi, Takahito Aoto, Yoshihito Toyama |
| 2005 | PPDP | Program transformation by templates based on term rewriting. | Yuki Chiba, Takahito Aoto, Yoshihito Toyama |
| 1999 | PPDP | Argument Filtering Transformation. | Keiichirou Kusakari, Masaki Nakamura, Yoshihito Toyama |
| 1992 | LICS | Strong Sequentiality of Left-Linear Overlapping Term Rewriting Systems | Yoshihito Toyama |
| 1986 | CADE | How to Prove Equivalence of Term Rewriting Systems without Induction. | Yoshihito Toyama |