Researchers Information

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

Assistant Professor
Research Fields
  • Software
  • Fundamental informatics
display all
Academic Society Membership
  • 日本ソフトウェア科学会
  • 情報処理学会
display all
Original Papers

Parallel Closure Theorem for Left-Linear Nominal Rewriting Systems.[Proceedings of the 11th International Symposium on Frontiers of Combining Systems (FroCoS 2017),LNAI 10483,(2017),115-131]Kentaro Kikuchi, Takahito Aoto, Yoshihito Toyama

Correctness of Context-Moving Transformations for Term Rewriting Systems.[Proceedings of the 25th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2015),LNCS 9527,(2015),331-345]Koichi Sato, Kentaro Kikuchi, Takahito Aoto, Yoshihito Toyama

Proving Strong Normalisation via Non-deterministic Translations into Klop's Extended λ-Calculus.[Proceedings of the 22nd Annual Conference of the European Association for Computer Science Logic (CSL 2013),LIPIcs 23,(2013),395-414]Kentaro Kikuchi

Call-by-Name Reduction and Cut-Elimination in Classical Logic.[Annals of Pure and Applied Logic,153(1-3),(2008),38-65]Kentaro Kikuchi

Simple Proofs of Characterizing Strong Normalization for Explicit Substitution Calculi.[Proceedings of the 18th International Conference on Rewriting Techniques and Applications (RTA 2007),LNCS 4533,(2007),257-272]Kentaro Kikuchi

display all
Honours, Awards and Prizes
  • 日本ソフトウェア科学会第21回研究論文賞(2017)
display all
Web Site
Updated on
copyright(c)2005 Tohoku University