[IEEE Comput. Soc 18th Annual IEEE Symposium on Logic in...

  • Main
  • [IEEE Comput. Soc 18th Annual IEEE...

[IEEE Comput. Soc 18th Annual IEEE Symposium on Logic in Computer Science - Ottawa, Ont., Canada (22-25 June 2003)] 18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings. - Will deflation lead to depletion? On non-monotone fixed point inductions

Gradel, E., Kreutzer, S.
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Year:
2003
Language:
english
DOI:
10.1109/lics.2003.1210055
File:
PDF, 506 KB
english, 2003
Conversion to is in progress
Conversion to is failed