Decreasing Diagrams II

swMATH29533MaRDI QIDQ41247FDOQ41247

Author name not available (Why is that?)

Cited In (2)

• A Mechanized Proof of Higman’s Lemma by Open Induction
• Title not available (Why is that?)

This page was built for software: Decreasing Diagrams II