The following pages link to Toshiyuki Yamada (Q844203):
Displayed 8 items.
- The reachability and related decision problems for monadic and semi-constructor TRSs (Q844204) (← links)
- (Q2778888) (← links)
- Argument Filterings and Usable Rules for Simply Typed Dependency Pairs (Q3655195) (← links)
- (Q4447246) (← links)
- Natural inductive theorems for higher-order Rewriting (Q5389076) (← links)
- Term Rewriting and Applications (Q5703843) (← links)
- Rewriting Techniques and Applications (Q5901573) (← links)
- Rewriting Techniques and Applications (Q5901574) (← links)