August 27, 2003

Today's work

  • Added lots of definitions, lemmas and a couple of proofs to the hyper-binary resolution and AT-HBR section.
Posted by lyndon at 06:27 PM in the PhD category

Syndicate this site (XML)
Powered by Movable Type
Copyright ©2003 by Lyndon Drake. All rights reserved.