%0 Journal Article %1 journals/ngc/Lopez-GarciaBH10 %A López-García, Pedro %A Bueno, Francisco %A Hermenegildo, Manuel V. %D 2010 %J New Gener. Comput. %K dblp %N 2 %P 177-206 %T Automatic Inference of Determinacy and Mutual Exclusion for Logic Programs Using Mode and Type Analyses. %U http://dblp.uni-trier.de/db/journals/ngc/ngc28.html#Lopez-GarciaBH10 %V 28

@article{journals/ngc/Lopez-GarciaBH10, added-at = {2021-04-09T00:00:00.000+0200}, author = {López-García, Pedro and Bueno, Francisco and Hermenegildo, Manuel V.}, biburl = {https://www.bibsonomy.org/bibtex/2bed91b322edb5043457319927192cdd9/dblp}, ee = {https://doi.org/10.1007/s00354-008-0085-1}, interhash = {b7eda9cf1cd83498778e4f153e2a7322}, intrahash = {bed91b322edb5043457319927192cdd9}, journal = {New Gener. Comput.}, keywords = {dblp}, number = 2, pages = {177-206}, timestamp = {2024-04-08T14:27:14.000+0200}, title = {Automatic Inference of Determinacy and Mutual Exclusion for Logic Programs Using Mode and Type Analyses.}, url = {http://dblp.uni-trier.de/db/journals/ngc/ngc28.html#Lopez-GarciaBH10}, volume = 28, year = 2010 }