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 ------------------------------------------------------------------------- This SF.net email is sponsored by the 2008 JavaOne(SM) Conference Don't miss this year's exciting event. There's still time to save $100. Use priority code J8TL2D2. http://ad.doubleclick.net/clk;198757673;13503038;p?http://java.sun.com/javaone _______________________________________________ open-axiom-devel mailing list open-axiom-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
