![](/img/cover-not-exists.png)
A parallel algorithm for the monadic unification problem
Ivan E. Auger, M. S. KrishnamoorthyVolume:
25
Year:
1985
Language:
english
Pages:
5
Journal:
BIT Numerical Mathematics
DOI:
10.1007/bf01934375
File:
PDF, 312 KB
english, 1985