P. Roche

According to our database, P. Roche authored at least 1 paper in 1994.

Collaborative distances:

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

1994

Towards a HOL Theory and Memory.

Jean-Paul Bodeveix, Mamoun Filali, P. Roche

Proceedings of the Higher Order Logic Theorem Proving and Its Applications, 1994