%0 Journal Article %1 journals/logcom/Lowe01 %A Löwe, Benedikt %D 2001 %J J. Log. Comput. %K dblp %N 1 %P 25-40 %T Revision Sequences and Computers with an Infinite Amount of Time. %U http://dblp.uni-trier.de/db/journals/logcom/logcom11.html#Lowe01 %V 11

@article{journals/logcom/Lowe01, added-at = {2011-06-29T00:00:00.000+0200}, author = {Löwe, Benedikt}, biburl = {https://www.bibsonomy.org/bibtex/23477a167ac40b9c7c80586b36200da5c/dblp}, ee = {http://dx.doi.org/10.1093/logcom/11.1.25}, interhash = {87190f3fec702a906dea10724c837e13}, intrahash = {3477a167ac40b9c7c80586b36200da5c}, journal = {J. Log. Comput.}, keywords = {dblp}, number = 1, pages = {25-40}, timestamp = {2011-06-30T11:39:14.000+0200}, title = {Revision Sequences and Computers with an Infinite Amount of Time.}, url = {http://dblp.uni-trier.de/db/journals/logcom/logcom11.html#Lowe01}, volume = 11, year = 2001 }