Concepedia
Publication | Closed Access
On the sequential nature of unification
201
Citations
12
References
1984
Year
EngineeringAutomated ReasoningFormal MethodsFormal SystemHigher-order LogicUnification GrammarSequential Nature
Page 1