Generalised Coinduction (2000)

by Falk Bartels
Citations:15 - 3 self

Document Versions

Generalised Coinduction –Falk Bartels — 2001
Generalised Coinduction –Falk Bartels — 2001
Generalised Coinduction –Falk Bartels, Generalised Coinduction, F. Bartels — 2001
Generalised Coinduction –Falk Bartels — 2000
Generalised Coinduction –Falk Bartels — 2000