Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
}