Ryu Hasegawa

发表

Ryu Hasegawa, R. Hasegawa, 2002, Theor. Comput. Sci..

Ryu Hasegawa, R. Hasegawa, 2017, Log. Methods Comput. Sci..

Ryu Hasegawa, R. Hasegawa, 2019, ArXiv.

Ryu Hasegawa, R. Hasegawa, 1994, Mathematical Structures in Computer Science.

Ryu Hasegawa, R. Hasegawa, 1994, Logic, Language and Computation.

Hiroshi Nakano, Makoto Tatsuta, Ryu Hasegawa, 2010, Ann. Pure Appl. Log..

Makoto Tatsuta, Ryu Hasegawa, Ken-etsu Fujita, 2008 .