Interpretation of locales in Isabelle: Theories and proof contexts (2006)

Cached

Download Links

by Clemens Ballarin
Venue:MATHEMATICAL KNOWLEDGE MANAGEMENT (MKM 2006), LNAI 4108
Citations:22 - 3 self