Uwe Waldmann – Cancellative Abelian Monoids in Refutational Theorem Proving

The final version of Part I and II is available to licensed users of http://www.idealibrary.com/ in PDF format [Part I] [Part II].

Drop me a mail with your postal address if you want a paper copy.

A draft (Part I and II combined) is freely available [Postscript file, 292 kB].


Previous | Up | Next
Uwe Waldmann <uwe@mpi-inf.mpg.de>, 2002-09-20.
Imprint | Data Protection