E. V. Zima. On computational properties of chains of recurrences. In Proceedings of the 2001 international symposium on symbolic and algebraic computation, pages 345--352. ACM Press, 2001.  Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Induction Variable Analysis with Delayed Abstractions - Pop, Cohen, Silber (2005) (Correct)
No context found.
E. V. Zima. On computational properties of chains of recurrences. In Proceedings of the 2001 international symposium on symbolic and algebraic computation, pages 345--352. ACM Press, 2001.
Induction Variable Analysis with Delayed Abstractions - Pop, Cohen, Silber (2005) (Correct)
No context found.
E. V. Zima. On computational properties of chains of recurrences. In Proceedings of the 2001.
Induction Variable Analysis with Delayed Abstractions - Pop, Cohen, Silber (2005) (Correct)
No context found.
E. V. Zima. On computational properties of chains of recurrences. In Proceedings of the 2001 international symposium on symbolic and algebraic computation, pages 345--352. ACM Press, 2001.
Value Range Analysis of Conditionally Updated Variables .. - Birch, van Engelen.. (2004) (Correct)
No context found.
ZIMA, E. V. On computational properties of chains of recurrences. In Proceedings of the
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC