Takaharu Hirai Vis

*	2001
1	EE	Mutsunori Banbara, Kyoung-Sun Kang, Takaharu Hirai, Naoyuki Tamura: Logic Programming in a Fragment of Intuitionistic Temporal Linear Logic. ICLP 2001: 315-330

Coauthor Index

1	Mutsunori Banbara	[1]
2	Kyoung-Sun Kang	[1]
3	Naoyuki Tamura	[1]