Пожалуйста, войдите в систему, чтобы принять участие в дискуссии (добавить собственные рецензию, или комментарий)
Цитировать эту публикацию
%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
}