Thomas Dufour

According to our database, Thomas Dufour authored at least 1 paper in 2004.

Collaborative distances:

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

2004

The Equational Theory of < N, 0, 1, +, ×, uparrow > Is Decidable, but Not Finitely Axiomatisable.

Roberto Di Cosmo, Thomas Dufour

Proceedings of the Logic for Programming, 2004