DMCA

Quotients Revisited for Isabelle/HOL (2011)

by Cezary Kaliszyk , Christian Urban
Venue:the Proc. of the 26th ACM Symposium On Applied Computing
Citations:13 - 2 self