Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 Toshiyuki Yamada's Publications
Takahito Aoto and Toshiyuki Yamada
Dependency Pairs for Simply Typed Term Rewriting
Proceedings of the 16th International Conference on
Rewriting Techniques and Applications (RTA'05),
Lecture Notes in Computer Science 3467, pp.120-134, April 2005
[05rta.ps]
(c)
Springer-Verlag
[sttrs-examples-050508.tgz]
Takahito Aoto, Toshiyuki Yamada, and Yoshihito Toyama
Inductive Theorems for Higher-Order Rewriting
Proceedings of the 15th International Conference on
Rewriting Techniques and Applications (RTA'04),
Lecture Notes in Computer Science 3091, pp.269-284, June 2004
[04rta1.ps]
(c)
Springer-Verlag
Ichiro Mitsuhashi, Michio Oyamaguchi, Yoshikatsu Ohta, and Toshiyuki Yamada
The Joinability and Unification Problems for Confluent Semi-Constructor TRSs
Proceedings of the 15th International Conference on
Rewriting Techniques and Applications (RTA'04),
Lecture Notes in Computer Science 3091, pp.285-300, June 2004
[04rta2.ps]
(c)
Springer-Verlag
Takahito Aoto and Toshiyuki Yamada
Termination of Simply Typed Term Rewriting Systems
by Translation and Labelling
Proceedings of the 14th International Conference on
Rewriting Techniques and Applications (RTA'03),
Lecture Notes in Computer Science 2706, pp.380-394, June 2003
[03rta.ps]
(c)
Springer-Verlag
Toshiyuki Yamada
Confluence and Termination of Simply Typed Term Rewriting Systems
Proceedings of the 12th International Conference on
Rewriting Techniques and Applications (RTA'01),
Lecture Notes in Computer Science 2051, pp.338-352, May 2001
[01rta.ps]
(c)
Springer-Verlag
Toshiyuki Yamada, Jürgen Avenhaus,
Carlos Loría-Saénz, and Aart Middeldorp
Logicality of Conditional Rewrite Systems
Theoretical Computer Science 236(1-2), pp.209-232, April 2000
[00tcs.ps]
(preprint version)
Toshiyuki Yamada, Jürgen Avenhaus,
Carlos Loría-Saénz, and Aart Middeldorp
Logicality of Conditional Rewrite Systems
Proceedings of the 22nd International Colloquium on
Trees in Algebra and Programming (CAAP'97),
Lecture Notes in Computer Science 1214, pp.141-152, April 1997
(an extended version is published from TCS)
doctoral thesis
Toshiyuki Yamada
Logicality of Conditional Term Rewrite Systems
University of Tsukuba, March 1999
(available by request)