Daisaku Asanuma

According to our database, Daisaku Asanuma authored at least 1 paper in 1998.

Collaborative distances:

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

1998

Mechanizing Relevant Logics with HOL.

Hajime Sawamura, Daisaku Asanuma

Proceedings of the Theorem Proving in Higher Order Logics, 11th International Conference, 1998