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

[PVS-Help] Looking for sequences generated from trees



Is there a suitable library for capturing sequences that are generated
from trees?

I would like to prove properties of sequences that are generated from a
grammar-like structure (HTN plan methods, actually), and would be helped
significantly by any examples of a structure like the one I'm working on.

thanks,
Robert