Re: Grouping dependencies
On Tue, Jan 02, 2001 at 05:14:58PM -0800, Joey Hess wrote:
> > On Tue, Jan 02, 2001 at 09:17:54PM +0100, Goswin Brederlow wrote:
> > > Maybe you can find some webpage describing such reductions to this
> > > standard form (whatever that then is).
> > I couldn't find a good one, so I wrote my own.
> Wouldn't a reference to a good book on discrete math/logic be
I couldn't find a good online description, and I hate being
refered to offline material that I don't have. If this would be
preferable, I'll look through my logic books and see if any are
particularly lucid on this point.