Rchr
J-GLOBAL ID：200901071714384999   Update date: Feb. 14, 2024

Ohta Yoshikatsu

オオタ ヨシカツ | Ohta Yoshikatsu
Affiliation and department：
Mie University Faculty of Engineering, Department of Information Engineering

About Mie University Faculty of Engineering, Department of Information Engineering


Job title： Professor
Homepage URL  (1)： http://www.net.info.mie-u.ac.jp/~ohta/
Research field  (1)： Information theory
Research keywords  (2)： 計算機科学 ,  Computer Science
Research theme for competitive and other funds  (8)：
  • コンピュータネットワークに関する研究
  • 項書換えシステムに関する研究
  • アルゴリズムに関する研究
  • プログラミング言語に関する研究
  • Study on Computer Network
Show all
MISC (36)：
ｍore...
Books (6)：
  • The Joinability and Unification Problems for Confluent Semi-Constructor TRSs
    Lecture Notes in Computer Science 2004
  • The Joinability and Unification Problems for Confluent Semi-Constructor TRSs
    Lecture Notes in Computer Science 2004
  • The Unification Problem for Conflnent Right-Ground Term Rewriting Systems
    Lecture Notes in Computer Science 2001
  • The Unification Problem for Conflnent Right-Ground Term Rewriting Systems
    Lecture Notes of Computer Science 2001
  • A New Parallel Closed Condition for Church-Resser of Left-Linear Term Rewriting Systems
    Lecture Notes of Computer Science 1997
ｍore...
Education (4)：
  • - 1978 Nagoya University
  • - 1978 Nagoya University Graduate School, Division of Engineering
  • - 1976 Nagoya University School of Engineering
  • - 1976 Nagoya University Faculty of Engineering
Professional career (2)：
  • (BLANK) (Nagoya University)
  • (BLANK) (Nagoya University)
Work history (8)：
  • 2004 - - Professor, Faculty of Engineering, Mie
  • 1990 - 2003 Asociate Professor, Faculty of Engineering,
  • 1985 - 1989 Research Associate,Computation Center, Nagoya
  • 1980 - 1984 Research Associate, Educational Center for
  • 1978 - 1979 Research Associate, Faculty Engineering, Mie
Show all
Association Membership(s) (5)：
電子情報通信学会 ,  情報処理学会 ,  Information and Communication Engineers ,  The Institute of Electronics ,  Information Processing Society of Japan
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page

TOP

BOTTOM