Skip to main content

On transition systems and non−well−founded sets

A. W. Roscoe and R.S. Lazic

Journal
Annals of the New York Academiy of Sciences
Volume
806
Year
1996