Concepedia
Publication | Open Access
On defining well-orderings
64
Citations
0
References
1966
Year
Automated ReasoningOrder TheoryPartially Ordered SetWell-founded Semantics
No additional data available for this publication yet. Check back later!