Items where author is "Serrano Mena, Alejandro"
 | Up a level |
Group by: Item Type | No Grouping
Jump to: Article
Number of items: 2.
Article
Serrano Mena, Alejandro and López García, Pedro and Hermenegildo, Manuel V. (2014). Resource usage analysis of logic programs via abstract interpretation using sized types. "Theory and Practice of Logic Programming", v. 14 (n. 4-5); pp. 739-754. ISSN 1471-0684. https://doi.org/10.1017/S147106841400057X.
Serrano Mena, Alejandro and López García, Pedro and Bueno Carrillo, Francisco and Hermenegildo, Manuel V. (2013). Sized Type Analysis for Logic Programs (Technical Communication). "Theory and Practice of Logic Programming", v. 13 (n. 4-5 (S); pp. 1-15. ISSN 1471-0684.
