Yoichi Hirai | The University of Tokyo - Academia.edu

Yoichi Hirai

About

Yoichi started following the work of Shunsuke Yatabe, National Institute of Advanced Industrial Science and Technology, CVS. 2011-09-20 01:37:35 -0700

Yoichi added themselves to the department Computer Science and added a website. 2011-09-17 12:17:09 -0700

Papers (4)

Intermediate Epistemic Logics Characterizing Shared Memory Consistencies

Disjunction Property and Finite Model Property For an Intuitionistic Epistemic Logic

An intuitionistic epistemic logic for sequential consistency on shared memory

Balancing weight-balanced trees

Research Interests (7)

Primary

Websites (1)

The University of Tokyo

Graduate Student, Computer Science

Follow Yoichi's work

Department Colleagues (9)

Suppakitpaisarn Vorapong

Katsunori Tsuboi

Akira Murashita

Following the Work of (10)

Work being Followed by (11)

x

Log In

Academia © 2012