Searching for authors named Yoshihito Toyama – sorted by Relevance.
16 documents found, showing 1 through 10.
Next 10 →
-
Modular Church-Rosser Modulo: The Full Picture
- …Modular Church-Rosser Modulo: The Full Picture Jean-Pierre Jouannaud 1⋆ and Yoshihito Toyama 2 1…
- Add To MetaCart
-
Extending Persistency of Confluence With Ordered Sorts
- …Extending persistency of confluence with ordered sorts Takahito Aoto aoto@(email omitted); Yoshihito…
- Cited by 2 (0 self) – Add To MetaCart
-
On Composable Properties of Term Rewriting Systems
- …On Composable Properties of Term Rewriting Systems Takahito Aoto and Yoshihito Toyama School…
- Cited by 7 (3 self) – Add To MetaCart
-
Top-Down Labelling and Modularity of Term Rewriting Systems
- …@(email omitted); Yoshihito Toyama toyama@(email omitted); School of Information Science Japan Advanced Institute of Science…
- Cited by 3 (2 self) – Add To MetaCart
-
Termination Transformation by Tree Lifting Ordering
- …Termination transformation by tree lifting ordering Takahito Aoto and Yoshihito Toyama School…
- Cited by 1 (0 self) – Add To MetaCart
-
Tree Lifting Orderings for Termination Transformations of Term Rewriting Systems
- … aoto@(email omitted); Yoshihito Toyama toyama@(email omitted); School of Information Science, JAIST Asahidai…
- Cited by 1 (1 self) – Add To MetaCart
-
Completeness of Combinations of Constructor Systems
- … MIDDELDORP 1;2;3 AND YOSHIHITO TOYAMA 4;5 1 Department of Software Technology CWI, Kruislaan 413, 1098 SJ…
- Cited by 29 (2 self) – Add To MetaCart
-
Persistency of Confluence
- …Persistency of confluence Takahito Aoto aoto@(email omitted); Yoshihito Toyama toyama…
- Cited by 15 (6 self) – Add To MetaCart
-
The Hierarchy of Dependency Pairs
- …The Hierarchy of Dependency Pairs Keiichirou Kusakari, Yoshihito Toyama March 23, 1999 IS-RR-99…
- Add To MetaCart
-
Vol. 48 No. SIG 0(PRO 35) IPSJ Transactions on Programming 2007 Regular Paper Automatic Construction of Program Transformation Templates
- … Construction of Program Transformation Templates Yuki Chiba, † Takahito Aoto † and Yoshihito Toyama † Program…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
