Conference item
Will Deflation Lead to Depletion? On Non−Monotone Fixed−Point Inductions
Actions
Authors
- Host title:
- IEEE Symp. of Logic in Computer Science (LICS)
- Publication date:
- 2003-01-01
- UUID:
-
uuid:bf911b0d-7bcb-4075-b003-e39df3dc3caf
- Local pid:
-
cs:1704
- Deposit date:
-
2015-03-31
Terms of use
- Copyright date:
- 2003
If you are the owner of this record, you can report an update to it here: Report update to this record