A Note on the Parallel Complexity of Anti-Unification

Authors
G.M.Kuper,K.W.McAloon,K.V.Palem
Citation
G.m.kuper,k.w.mcaloon,k.v.palem, A Note on the Parallel Complexity of Anti-Unification, Journal of automated reasoning , 9(3), 1992, pp. 381-390
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
9
Issue
3
Year of publication
1992
Pages
381 - 390
Database
ACNP
SICI code