![](/img/cover-not-exists.png)
[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.Year:
2003
Language:
english
DOI:
10.1109/lics.2003.1210055
File:
PDF, 506 KB
english, 2003