Takaharu Hirai

On cut-elimination of Temporal Linear Logic and the equivalence to other systems

Takaharu Hirai, 1998 .

Logic Programming in a Fragment of Intuitionistic Temporal Linear Logic

Mutsunori Banbara, Takaharu Hirai, Naoyuki Tamura, 2001, ICLP.

Temporal Linear Logic and Its Applications

Takaharu Hirai, Takaharu Hirai, 2003 .

An Application of a Temporal Linear Logic to Timed Petri Nets

Takaharu Hirai, 2003 .

Propositional Temporal Linear Logic and Its Application to Concurrent Systems

Takaharu Hirai, Takaharu Hirai, 2000 .

Research on the formation of low-environmental-burden area and organization by the activity of environmental management

Takaharu Hirai, Masaya Komori, Yasuyuki Sasatani, 2000 .