Natsuo Ishii

According to our database, Natsuo Ishii authored at least 1 paper in 2020.

Collaborative distances:

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

2020

Discovering conditional properties of recursive functions in a proof assistant.

Haruhiko Sato, Natsuo Ishii

Proceedings of the Joint 11th International Conference on Soft Computing and Intelligent Systems and 21st International Symposium on Advanced Intelligent Systems, 2020