8 Jun
2001
8 Jun
'01
8:44 a.m.
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@cs.unipr.it http://www.cs.unipr.it/mailman/listinfo/ppl-devel