%0 Conference Proceedings
%A Harland, James
%D 2007
%T Analysis of Busy Beaver Machines via Induction Proofs
%E Gudmundsson, Joachim
%E Jay, Barry
%B Thirteenth Computing: The Australasian Theory Symposium (CATS2007)
%C Ballarat, Australia
%I ACS
%V 65
%P 71-78
%S CRPIT
%! Analysis of Busy Beaver Machines via Induction Proofs
%F CRPITV65-71-78
%Z abstract
%U http://crpit.com/confpapers/CRPITV65Harland.pdf