Publisher
Springer International Publishing
Reference62 articles.
1. Abdula, P. A. (2010). Well (and better) quasi-ordered transition systems. The Bulletin of Symbolic Logic, 16(4), 457–515.
2. Altman, H., & Weiermann, A. (2024). Maximum linearizations of lower sets in $${{\mathbb{N}}^m}$$ with application to monomial ideals. https://arxiv.org/abs/1909.06719
3. Aschenbrenner, M., & Pong, W. Y. (2004). Orderings of monomial ideals. Fundamenta Mathematicae, 181(1), 27–74.
4. Baader, F., Nipkow, T. (1998). Term rewriting and all that (pp. xii+301) Cambridge University Press.
5. Blass, A., Gurevich, Y. (2008). Program termination and well partial orderings. ACM Transactions on Computational Logic, 9(3)Art. 18, 1–26.