![](/img/cover-not-exists.png)
[IEEE Comput. Soc. Press Fifth Annual IEEE Symposium on Logic in Computer Science - Philadelphia, PA, USA (4-7 June 1990)] [1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science - A new AC unification algorithm with an algorithm for solving systems of diophantine equations
Boudet, A., Contejean, E., Devie, H.Year:
1990
Language:
english
DOI:
10.1109/lics.1990.113755
File:
PDF, 804 KB
english, 1990