Hervé Devie

According to our database, Hervé Devie authored at least 3 papers between 1990 and 1994.

Collaborative distances:

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

1994

An Efficient Incremental Algorithm for Solving Systems of Linear Diophantine Equations

Evelyne Contejean, Hervé Devie

Inf. Comput., August, 1994

1990

A New AC Unification Algorithm with an Algorithm for Solving Systems of Diophantine Equations

Alexandre Boudet, Evelyne Contejean, Hervé Devie

Proceedings of the Fifth Annual Symposium on Logic in Computer Science (LICS '90), 1990

Linear Completion.

Hervé Devie

Proceedings of the Conditional and Typed Rewriting Systems, 1990