[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Axiom-developer] Provisos

From: root
Subject: Re: [Axiom-developer] Provisos
Date: Sun, 11 May 2008 23:06:57 -0400

>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

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.
If you have a copy perhaps you could summarize the differences.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]