%0 Conference Paper %1 conf/parle/RedonF93 %A Redon, Xavier %A Feautrier, Paul %B PARLE %D 1993 %E Bode, Arndt %E Reeve, Mike %E Wolf, Gottfried %I Springer %K dblp %P 132-145 %T Detection of Recurrences in Sequential Programs with Loops. %U http://dblp.uni-trier.de/db/conf/parle/parle93.html#RedonF93 %V 694 %@ 3-540-56891-3

@inproceedings{conf/parle/RedonF93, added-at = {2017-05-20T00:00:00.000+0200}, author = {Redon, Xavier and Feautrier, Paul}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2d13df8f68723189906c72a0b70a30ffd/dblp}, booktitle = {PARLE}, crossref = {conf/parle/1993}, editor = {Bode, Arndt and Reeve, Mike and Wolf, Gottfried}, ee = {https://doi.org/10.1007/3-540-56891-3_11}, interhash = {f8951d034802b58aa792c78e28564ed6}, intrahash = {d13df8f68723189906c72a0b70a30ffd}, isbn = {3-540-56891-3}, keywords = {dblp}, pages = {132-145}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T16:57:24.000+0200}, title = {Detection of Recurrences in Sequential Programs with Loops.}, url = {http://dblp.uni-trier.de/db/conf/parle/parle93.html#RedonF93}, volume = 694, year = 1993 }