%0 Journal Article %1 journals/corr/LeikeH14a %A Leike, Jan %A Heizmann, Matthias %D 2014 %J CoRR %K %T Geometric Series as Nontermination Arguments for Linear Lasso Programs. %U http://dblp.uni-trier.de/db/journals/corr/corr1405.html#LeikeH14a %V abs/1405.4413

@article{journals/corr/LeikeH14a, added-at = {2023-12-13T01:27:39.000+0100}, author = {Leike, Jan and Heizmann, Matthias}, biburl = {https://www.bibsonomy.org/bibtex/229c8326d991f8e5c976f1a40628d7f5a/admin}, ee = {http://arxiv.org/abs/1405.4413}, interhash = {71e3ec995396813fe00131fc01507e67}, intrahash = {29c8326d991f8e5c976f1a40628d7f5a}, journal = {CoRR}, keywords = {}, timestamp = {2023-12-13T01:27:39.000+0100}, title = {Geometric Series as Nontermination Arguments for Linear Lasso Programs.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1405.html#LeikeH14a}, volume = {abs/1405.4413}, year = 2014 }