Infinite Trees, Markings and Well Foundedness

Sorry, there's nothing here.

Cite this paper

@article{Rinat1986InfiniteTM, title={Infinite Trees, Markings and Well Foundedness}, author={Ran Rinat and Nissim Francez and Orna Grumberg}, journal={Inf. Comput.}, year={1986}, volume={79}, pages={131-154} }