Takaharu Hirai

Publication Activity (10 Years)

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

Publications

Mutsunori Banbara, Kyoung-Sun Kang, Takaharu Hirai, Naoyuki Tamura
Logic Programming in a Fragment of Intuitionistic Temporal Linear Logic. ICLP (2001)