![](/img/cover-not-exists.png)
On Fourier's algorithm for linear arithmetic constraints
Jean-Louis Lassez, Michael J. MaherVolume:
9
Language:
english
Pages:
7
DOI:
10.1007/bf00245296
Date:
December, 1992
File:
PDF, 375 KB
english, 1992