A uniform approach to inductive posets and inductive closure - Concepedia

Concepedia

Publication | Closed Access

A uniform approach to inductive posets and inductive closure

103

Citations

6

References

1978

Year

Jesse B. Wright, Eric G. Wagner, J. W. Thatcher

Theoretical Computer Science

EngineeringUniform ApproachAutomated ReasoningFormal MethodsPartially Ordered SetInductive InferenceComputability Theory

References

	Year	Citations

Page 1