[PPL-devel] Proof

[Angela Stazzone]

P M Hill wrote:

> --
>
> On Thu, 7 Jun 2001, Roberto Bagnara wrote:
>
> > P M Hill wrote:
> > > On Thu, 7 Jun 2001, Angela Stazzone wrote:
> > > > I found it in H. Leverge - A note on Chernikova's Algorithm -
> > > > Publication Interne 635 - February 1992 - page 9.
> > > >
> > > I would be interested to know what Leverge means by "stable".
> > > I've been trying to guess, but without any success.
> >
> > Pat,
> >
> > do you have that paper?  I guess not: we had to request it
> > to IRISA (Herve Leverge died tragically in 1994).
>
> I don't have it and would be grateful for a copy.
>
> I'm sending it to you!

Ciao,
    Angela.

>
>
> _______________________________________________
> PPL-devel mailing list
> PPL-devel at cs.unipr.it
> http://www.cs.unipr.it/mailman/listinfo/ppl-devel