%0 Conference Paper %1 Rodriguez+Kapur/04/Automatic %A Rodriguez-Carbonell, Enric %A Kapur, Deepak %B Proc. Intl. Symp on Symbolic and Algebraic Computation (ISSAC-2004) %C Spain %D 2004 %K gröbner invariants non-linear %T Automatic Generation of Polynomial Loop Invariants: Algebraic Foundations

@inproceedings{Rodriguez+Kapur/04/Automatic, added-at = {2014-05-16T12:58:31.000+0200}, address = {Spain}, author = {Rodriguez-Carbonell, Enric and Kapur, Deepak}, biburl = {https://www.bibsonomy.org/bibtex/27549930e0a8837c9be34b8101f379190/fibso}, booktitle = {Proc. Intl. Symp on Symbolic and Algebraic Computation (ISSAC-2004)}, description = {First cut database}, interhash = {6cb5df01b1d6dd129ae9a4855908e046}, intrahash = {7549930e0a8837c9be34b8101f379190}, keywords = {gröbner invariants non-linear}, timestamp = {2014-05-16T12:58:31.000+0200}, title = {Automatic Generation of Polynomial Loop Invariants: Algebraic Foundations}, year = 2004 }