Well Quasi Orders

swMATH28605MaRDI QIDQ40319FDOQ40319

Author name not available (Why is that?)

Cited In (3)

• A Mechanized Proof of Higman’s Lemma by Open Induction
• Title not available (Why is that?)
• Formalizing Knuth-Bendix Orders and Knuth-Bendix Completion

This page was built for software: Well Quasi Orders