Well quasi-ordered sets
From MaRDI portal
Publication:1803588
DOI10.1006/aima.1993.1004zbMath0771.03020OpenAlexW2051505231MaRDI QIDQ1803588
Gabriel Stolzenberg, Fred Richman
Publication date: 29 June 1993
Published in: Advances in Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1006/aima.1993.1004
Related Items (6)
A linear time algorithm for monadic querying of indefinite data over linearly ordered domains ⋮ Proof pearl: a formal proof of Higman's lemma in ACL2 ⋮ A Mechanized Proof of Higman’s Lemma by Open Induction ⋮ What's so special about Kruskal's theorem and the ordinal \(\Gamma{}_ 0\)? A survey of some results in proof theory ⋮ Higman’s Lemma and Its Computational Content ⋮ A Decision Procedure for Regular Expression Equivalence in Type Theory
This page was built for publication: Well quasi-ordered sets
