D. Duchier

According to our database, D. Duchier authored at least 1 paper in 1988.

Collaborative distances:

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

1988

LOGICALC: An Environment for Interactive Proof Development.

D. Duchier, Drew V. McDermott

Proceedings of the 9th International Conference on Automated Deduction, 1988