scientific article; zbMATH DE number 1795230
From MaRDI portal
Publication:4552751
zbMath1032.03053MaRDI QIDQ4552751
Publication date: 17 March 2004
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
An effective proof of the well-foundedness of the multiset path ordering ⋮ Higman’s Lemma and Its Computational Content ⋮ Herbrand's theorem as higher order recursion
