Researchers Information
Photo



Books, Original Papers & Review Papers
Name
NAKANO Keisuke
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
Logic for Information Science

Title
Professor
Keywords
Formal Language, Programming Language, Proof Assistant, Functional Programming
Academic Society Membership
    display all
    Books

    display all
    Original Papers

    display all
    Review Papers

    display all
    Honours, Awards and Prizes
      display all
      Web Site
      http://www.riec.tohoku.ac.jp/~ksk/en/
      Updated on
      2019.01.18
      JapaneseTop
      copyright(c)2005 Tohoku University