Login / Signup
Ordinal notation systems corresponding to Friedman's linearized well-partial-orders with gap-condition.
Michael Rathjen
Jeroen Van der Meeren
Andreas Weiermann
Published in:
Arch. Math. Log. (2017)
Keyphrases
</>
partial order
complex systems
expert systems
total order
management system
computer systems
partially ordered
partial ordering
reasoning systems