%0 Conference Paper %1 conf/iclp/NavasMLH07 %A Navas, Jorge A. %A Mera, Edison %A López-García, Pedro %A Hermenegildo, Manuel V. %B ICLP %D 2007 %E Dahl, Verónica %E Niemelä, Ilkka %I Springer %K dblp %P 348-363 %T User-Definable Resource Bounds Analysis for Logic Programs. %U http://dblp.uni-trier.de/db/conf/iclp/iclp2007.html#NavasMLH07 %V 4670 %@ 978-3-540-74608-9

@inproceedings{conf/iclp/NavasMLH07, added-at = {2021-04-09T00:00:00.000+0200}, author = {Navas, Jorge A. and Mera, Edison and López-García, Pedro and Hermenegildo, Manuel V.}, biburl = {https://www.bibsonomy.org/bibtex/2b5b49db28e03a651fe15c1bc1cba6366/dblp}, booktitle = {ICLP}, crossref = {conf/iclp/2007}, editor = {Dahl, Verónica and Niemelä, Ilkka}, ee = {https://doi.org/10.1007/978-3-540-74610-2_24}, interhash = {788ed5b4c1aff51ddc67e13fac6f4443}, intrahash = {b5b49db28e03a651fe15c1bc1cba6366}, isbn = {978-3-540-74608-9}, keywords = {dblp}, pages = {348-363}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T03:50:40.000+0200}, title = {User-Definable Resource Bounds Analysis for Logic Programs.}, url = {http://dblp.uni-trier.de/db/conf/iclp/iclp2007.html#NavasMLH07}, volume = 4670, year = 2007 }