L. Habert

According to our database, L. Habert authored at least 1 paper in 2002.

Collaborative distances:

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

2002

LINK: A Proof Environment Based on Proof Nets.

L. Habert, J.-M. Notin, Didier Galmiche

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2002