Szpilrajn Extension

swMATH42007MaRDI QIDQ5975195FDOQ5975195

Author name not available (Why is that?)

Cited In (2)

• Lyndon words formalized in Isabelle/HOL
• A verified decision procedure for orders in Isabelle/HOL

This page was built for software: Szpilrajn Extension