Researchers Information
Photo



Books, Original Papers & Review Papers
Name
TOYAMA Yoshihito
Affiliation
Research Institute of Electrical Communication
Systems & Software Division
Computing Information Theory
Assigned Class
Graduate School of Information Sciences
Department of Computer and Mathematical Sciences

Title
Professor
Research Fields
  • Fundamental informatics
display all
Research Subjects
  • Program Transformation(2001-)
  • Automated theorem proving(1990-)
  • Term Rewriting System Theory(1990-)
display all
Academic Society Membership
  • 電子情報通信学会
  • 情報処理学会
  • ソフトウェア科学会
display all
Books

T : A Simple reduction language based on combinatory term rewriting : in"Programmig of Future Generation Computer I".[(1986)]TOYAMA Yoshihito, et al.


display all
Original Papers

On the Church-Rosser property for the direct sum of term rewriting systems.[J. ACM,34,128-143,(1987)]TOYAMA Yoshihito


Counterexample to termination for the direct sum of term rewriting systems.[Information Processing Letters,25,141-143,(1987)]TOYAMA Yoshihito


display all
Honours, Awards and Prizes
  • 日本IBM科学賞(1997)
display all
Mail Address
Mail Address
Updated on
2016.03.01
JapaneseTop
copyright(c)2005 Tohoku University