[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
> >
> > 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