On the sequential nature of unification - Concepedia

Concepedia

Publication | Closed Access

On the sequential nature of unification

201

Citations

12

References

1984

Year

Cynthia Dwork, Paris C. Kanellakis, John C. Mitchell

The Journal of Logic Programming

EngineeringAutomated ReasoningFormal MethodsFormal SystemHigher-order LogicUnification GrammarSequential Nature

References

	Year	Citations

Page 1