%0 Journal Article %1 journals/corr/SerranoLH13 %A Serrano, Alejandro %A López-García, Pedro %A Hermenegildo, Manuel V. %D 2013 %J CoRR %K dblp %T Towards an Abstract Domain for Resource Analysis of Logic Programs Using Sized Types. %U http://dblp.uni-trier.de/db/journals/corr/corr1308.html#SerranoLH13 %V abs/1308.3940

@article{journals/corr/SerranoLH13, added-at = {2019-02-19T00:00:00.000+0100}, author = {Serrano, Alejandro and López-García, Pedro and Hermenegildo, Manuel V.}, biburl = {https://www.bibsonomy.org/bibtex/261c1c7139a3bdb48a6ef82d8fda8f827/dblp}, ee = {http://arxiv.org/abs/1308.3940}, interhash = {eb2db0978fe6a0b972c18d2b5181ff2d}, intrahash = {61c1c7139a3bdb48a6ef82d8fda8f827}, journal = {CoRR}, keywords = {dblp}, timestamp = {2019-02-20T11:37:32.000+0100}, title = {Towards an Abstract Domain for Resource Analysis of Logic Programs Using Sized Types.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1308.html#SerranoLH13}, volume = {abs/1308.3940}, year = 2013 }