On Sun, May 11, 2008 at 10:06 PM, root <[EMAIL PROTECTED]> wrote: > >Do you know how this is different from the GUARDIAN package (Reduce) > >described in this ISSAC'97 paper? > > > > "Guarded Expressions in Practice" > > Andreas Dolzmann and Thomas Sturm > > > > http://portal.acm.org/citation.cfm?id=258851 > > I don't know. The comments I made were from my thesis work done prior > to this publication. I don't have access to that paper at the moment.
I've found a freely available `technical report' version of it here http://citeseer.ist.psu.edu/dolzmann97guarded.html -- Gaby _______________________________________________ Axiom-developer mailing list Axiom-developer@nongnu.org http://lists.nongnu.org/mailman/listinfo/axiom-developer
