Machiko Asahara

Publication Activity (10 Years)

Years Active: 2018-2018
Publications (10 Years): 1

Top Topics

Classical Logic

Structural Properties

Top Venues

Publications

Shohei Furuichi, Shuntaro Nozawa, Machiko Asahara, Priya Murugeswaran, Yuqing Shi, Ziyi Wu, Yusuke Obuchi, Jun Sato
Using non-linear logic for construction of self-stabilizing hammock structure. AAG (2018)