Kenichi Kishino

According to our database, Kenichi Kishino authored at least 1 paper in 1999.

Collaborative distances:

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

1999

Lemma Generalization and Non-unit Lemma Matching for Model Elimination.

Koji Iwanuma, Kenichi Kishino

Proceedings of the Advances in Computing Science, 1999