On transition systems and non−well−founded sets
A. W. Roscoe and R.S. Lazic
Details
| Journal |
Annals of the New York Academiy of Sciences |
| Volume |
806 |
| Year |
1996 |
Links
Related pages
|
People |