Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss
[isabelle] New AFP entry: Bondy's Theorem
1 view
Skip to first unread message
Tobias Nipkow
Oct 27, 2012, 10:47:42 AM10/27/12
to Isabelle Users
by Jeremy Avigad and Stefan Hetzl
A proof of Bondy's theorem following B. Bollabas, Combinatorics, 1986, Cambridge
University Press.
http://afp.sourceforge.net/entries/Bondy.shtml
A proof of Bondy's theorem following B. Bollabas, Combinatorics, 1986, Cambridge
University Press.
http://afp.sourceforge.net/entries/Bondy.shtml
0 new messages