Katie Brodhead

Publication Activity (10 Years)

Years Active: 2016-2016
Publications (10 Years): 1

Top Topics

Interactive Theorem Proving

Top Venues

Arch. Math. Log.

Publications

Katie Brodhead, Mushfeq Khan, Bjørn Kjos-Hanssen, William A. Lampe, Paul Kim Long V. Nguyen, Richard A. Shore
The strength of the Grätzer-Schmidt theorem. Arch. Math. Log. 55 (5-6) (2016)