Alexandre Boudet (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

3 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 1 from 16 records - Alexandre Boudet has 6 coauthors