Takaharu Hirai

According to our database, Takaharu Hirai authored at least 1 paper in 2001.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2001

Logic Programming in a Fragment of Intuitionistic Temporal Linear Logic.

Mutsunori Banbara, Kyoung-Sun Kang, Takaharu Hirai, Naoyuki Tamura

Proceedings of the Logic Programming, 17th International Conference, 2001