%0 Journal Article %1 journals/logcom/OmodeoPT12 %A Omodeo, Eugenio G. %A Policriti, Alberto %A Tomescu, Alexandru I. %D 2012 %J J. Log. Comput. %K dblp %N 6 %P 1391-1403 %T Infinity, in short. %U http://dblp.uni-trier.de/db/journals/logcom/logcom22.html#OmodeoPT12 %V 22

@article{journals/logcom/OmodeoPT12, added-at = {2012-12-27T00:00:00.000+0100}, author = {Omodeo, Eugenio G. and Policriti, Alberto and Tomescu, Alexandru I.}, biburl = {https://www.bibsonomy.org/bibtex/259022649c4648462ec50e8442656d79d/dblp}, ee = {http://dx.doi.org/10.1093/logcom/exr020}, interhash = {eeee6238788ba67423b7587bbd6f8097}, intrahash = {59022649c4648462ec50e8442656d79d}, journal = {J. Log. Comput.}, keywords = {dblp}, number = 6, pages = {1391-1403}, timestamp = {2012-12-28T11:33:30.000+0100}, title = {Infinity, in short.}, url = {http://dblp.uni-trier.de/db/journals/logcom/logcom22.html#OmodeoPT12}, volume = 22, year = 2012 }