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

Re: [PVS-Help] Transitive closure



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,
-- 
Jerry James, Assistant Professor        Jerry.James@usu.edu
Computer Science Department             http://www.cs.usu.edu/~jerry/
Utah State University