Chris Hendriks

According to our database, Chris Hendriks authored at least 1 paper in 1995.

Collaborative distances:

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

1995

Algebraic Proof Assistants in HOL.

Rix Groenboom, Chris Hendriks, Indra Polak, Jan Terlouw, Jan Tijmen Udding

Proceedings of the Mathematics of Program Construction, 1995