Ryuichi Hori

Publication Activity (10 Years)

Years Active: 1994-1994
Publications (10 Years): 0

Publications

Ryuichi Hori, Hiroakira Ono, Harold Schellinx
Extending Intuitionistic Linear Logic with Knotted Structural Rules. Notre Dame J. Formal Log. 35 (2) (1994)