Login / Signup

Formalizing Free Groups in Isabelle/HOL: The Nielsen-Schreier Theorem and the Conjugacy Problem.

Aabid Seeyal Abdul KharimT. V. H. PrathameshShweta RajivRishi Vyas
Published in: CICM (2023)
Keyphrases