Article,
Sized Type Analysis for Logic Programs.
A. Serrano, P. López-García, F. Bueno, and M. Hermenegildo.Theory Pract. Log. Program., (2013)
Meta data
- BibTeX key
- journals/tplp/SerranoLBH13
- entry type
- article
- year
- 2013
- journal
- Theory Pract. Log. Program.
- number
- 4-5-Online-Supplement
- volume
- 13
- ee
- http://static.cambridge.org/resource/id/urn:cambridge.org:id:binary:20161018085635834-0697:S1471068413000112:tlp2013011.pdf
- url
- http://dblp.uni-trier.de/db/journals/tplp/tplp13.html#SerranoLBH13
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Journal Article
%1 journals/tplp/SerranoLBH13
%A Serrano, Alejandro
%A López-García, Pedro
%A Bueno, Francisco
%A Hermenegildo, Manuel V.
%D 2013
%J Theory Pract. Log. Program.
%K dblp
%N 4-5-Online-Supplement
%T Sized Type Analysis for Logic Programs.
%U http://dblp.uni-trier.de/db/journals/tplp/tplp13.html#SerranoLBH13
%V 13
@article{journals/tplp/SerranoLBH13,
added-at = {2020-02-13T00:00:00.000+0100},
author = {Serrano, Alejandro and López-García, Pedro and Bueno, Francisco and Hermenegildo, Manuel V.},
biburl = {https://www.bibsonomy.org/bibtex/2493a84b44e6c159bd8bcde476c739265/dblp},
ee = {http://static.cambridge.org/resource/id/urn:cambridge.org:id:binary:20161018085635834-0697:S1471068413000112:tlp2013011.pdf},
interhash = {5a04a681057577108e3ff930c7d8a806},
intrahash = {493a84b44e6c159bd8bcde476c739265},
journal = {Theory Pract. Log. Program.},
keywords = {dblp},
number = {4-5-Online-Supplement},
timestamp = {2020-02-14T11:43:32.000+0100},
title = {Sized Type Analysis for Logic Programs.},
url = {http://dblp.uni-trier.de/db/journals/tplp/tplp13.html#SerranoLBH13},
volume = 13,
year = 2013
}