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

Re: [PVS-Help] Transitive closure



My apology to Alfons Geser. I was referring to the 'closure_ops' theory,
and I remembered seeing your name in the comments. :)

On Thu, 2006-03-30 at 09:56 -0700, Jerry James wrote:
> On Tue, 28 Mar 2006 at 02:53:04 -0500, Stan Rosenberg
> <stan.rosenberg@acm.org> wrote:
> > Thank you for your kind and informative replies. At the time I wrote the
> > question, I was aware of the inductive definition of TC and another one
> > by Jerry James. (using indexed sets)
> 
> In the "credit where credit is due" department, I did not write the
> indexed sets definition.  I was merely pointing out its existence.  That
> definition was written by Alfons Geser.
> 
> Regards,