Login / Signup
Hervé Devie
Publication Activity (10 Years)
Years Active: 1990-1994
Publications (10 Years): 0
</>
Publications
</>
Evelyne Contejean
,
Hervé Devie
An Efficient Incremental Algorithm for Solving Systems of Linear Diophantine Equations
Inf. Comput.
113 (1) (1994)
Alexandre Boudet
,
Evelyne Contejean
,
Hervé Devie
A New AC Unification Algorithm with an Algorithm for Solving Systems of Diophantine Equations
LICS
(1990)
Hervé Devie
Linear Completion.
CTRS
(1990)