[PPL-devel] Proof

[P M Hill]

-- 

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.

Thanks & ciao,
  Pat