dblp.uni-trier.dewww.uni-trier.de

Toshiyuki Yamada

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2006
8EEIchiro Mitsuhashi, Michio Oyamaguchi, Toshiyuki Yamada: The reachability and related decision problems for monadic and semi-constructor TRSs. Inf. Process. Lett. 98(6): 219-224 (2006)
2005
7EETakahito Aoto, Toshiyuki Yamada: Dependency Pairs for Simply Typed Term Rewriting. RTA 2005: 120-134
2004
6EETakahito Aoto, Toshiyuki Yamada, Yoshihito Toyama: Inductive Theorems for Higher-Order Rewriting. RTA 2004: 269-284
5EEIchiro Mitsuhashi, Michio Oyamaguchi, Yoshikatsu Ohta, Toshiyuki Yamada: The Joinability and Unification Problems for Confluent Semi-constructor TRSs. RTA 2004: 285-300
2003
4EETakahito Aoto, Toshiyuki Yamada: Termination of Simply Typed Term Rewriting by Translation and Labelling. RTA 2003: 380-394
2001
3EEToshiyuki Yamada: Confluence and Termination of Simply Typed Term Rewriting Systems. RTA 2001: 338-352
2000
2EEToshiyuki Yamada, Jürgen Avenhaus, Carlos Loría-Sáenz, Aart Middeldorp: Logicality of conditional rewrite systems. Theor. Comput. Sci. 236(1-2): 209-232 (2000)
1997
1 Toshiyuki Yamada, Jürgen Avenhaus, Carlos Loría-Sáenz, Aart Middeldorp: Logicality of Conditional Rewrite Systems. TAPSOFT 1997: 141-152

Coauthor Index

1Takahito Aoto [4] [6] [7]
2Jürgen Avenhaus [1] [2]
3Carlos Loría-Sáenz [1] [2]
4Aart Middeldorp [1] [2]
5Ichiro Mitsuhashi [5] [8]
6Yoshikatsu Ohta [5]
7Michio Oyamaguchi [5] [8]
8Yoshihito Toyama [6]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)