Concepedia
Statistics
Publications
15
Citations
592
H-Index
13
Active since
1987
Affiliations
NTT (Japan)(Current)
Japan Advanced Institute of Science and Technology
Centrum Wiskunde & Informatica
Tohoku University
Yoshihito Toyama is an author at NTT (Japan) specializing in computing, term rewriting systems, and computer science.
Publications per year
1987–2015
Counterexamples to termination for the direct sum of term rewriting systems
Yoshihito Toyama · Information Processing Letters · 1987 · 170 citations
Computing, Computer Science, Formal Methods +5
On the Church-Rosser property for the direct sum of term rewriting systems
Yoshihito Toyama · Journal of the ACM · 1987 · 159 citations · Full text
Computing, Computer Science, Mathematics +8
Completeness of Combinations of Constructor Systems
Aart Middeldorp, Yoshihito Toyama · Journal of Symbolic Computation · 1993 · 37 citations
Strong sequentiality of left-linear overlapping term rewriting systems
Yoshihito Toyama · 2003 · 32 citations
Computing, Computer Science, Algorithms +8
Termination for direct sums of left-linear complete term rewriting systems
Yoshihito Toyama, Jan Willem Klop, Hendrik Pieter Barendregt · Journal of the ACM · 1995 · 29 citations · Full text
Law, Intellectual Property Law, Compilers +11
1–5 of 15