![]() | ![]() |
Ask others: ACM DL/Guide -
- CSB - MetaPress - Google - Bing - Yahoo
| 3 | Evelyne Contejean, Hervé Devie: An Efficient Incremental Algorithm for Solving Systems of Linear Diophantine Equations Inf. Comput. 113(1): 143-172 (1994) | |
| 1 | Alexandre Boudet, Evelyne Contejean, Hervé Devie: A New AC Unification Algorithm with an Algorithm for Solving Systems of Diophantine Equations LICS 1990: 289-299 |
Selection of 2 from 3 records - Hervé Devie has 2 coauthors
Last update 2012-02-18 CET by the DBLP Team —
Content released under the ODC-BY 1.0 license — See also our legal information page