William A. Lampe

Publication Activity (10 Years)

Years Active: 2000-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)
Brian A. Davey, Pawel M. Idziak, William A. Lampe, George F. McNulty
Dualizability and graph algebras. Discret. Math. 214 (1-3) (2000)