Hidetomo Machi

According to our database, Hidetomo Machi authored at least 1 paper in 2005.

Collaborative distances:

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

2005

The Relative Completeness of a Version of CTL*.

Hidetomo Machi, Kohji Tomita, Chiharu Hosono

Proceedings of the Theory of Computing 2005, 2005