Conference item icon

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
ARK identifier:

Terms of use


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP