About the Paterson-Wegman linear unification algorithm
Authors:
Dennis De Champeaux
Affiliations:
-
Venue:
Journal of Computer and System Sciences
Year:
1986
Citing
0
Cited
1
Unification: a multidisciplinary survey
ACM Computing Surveys (CSUR)
Quantified Score
Hi-index
0.00
Visualization
Abstract