[Top][All Lists]

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

Re: [Axiom-developer] Provisos

From: Gabriel Dos Reis
Subject: Re: [Axiom-developer] Provisos
Date: Mon, 12 May 2008 08:51:48 -0500

On Sun, May 11, 2008 at 10:06 PM, root <address@hidden> 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
>  >
>  >
>  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

-- Gaby

reply via email to

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