Пожалуйста, войдите в систему, чтобы принять участие в дискуссии (добавить собственные рецензию, или комментарий)
Цитировать эту публикацию
%0 Journal Article
%1 journals/corr/cs-LO-0204031
%A Shen, Yi-Dong
%A You, Jia-Huai
%A Yuan, Li-Yan
%A Shen, Samuel S. P.
%A Yang, Qiang
%D 2002
%J CoRR
%K dblp
%T A Dynamic Approach to Characterizing Termination of General Logic Programs
%U http://dblp.uni-trier.de/db/journals/corr/corr0204.html#cs-LO-0204031
%V cs.LO/0204031
@article{journals/corr/cs-LO-0204031,
added-at = {2020-01-10T00:00:00.000+0100},
author = {Shen, Yi-Dong and You, Jia-Huai and Yuan, Li-Yan and Shen, Samuel S. P. and Yang, Qiang},
biburl = {https://www.bibsonomy.org/bibtex/2e42700e1ee816aaa81a6d11665d74873/dblp},
ee = {https://arxiv.org/abs/cs/0204031},
interhash = {a39fbd3839e12ab869241b6a619a9faa},
intrahash = {e42700e1ee816aaa81a6d11665d74873},
journal = {CoRR},
keywords = {dblp},
timestamp = {2020-01-11T11:41:26.000+0100},
title = {A Dynamic Approach to Characterizing Termination of General Logic Programs},
url = {http://dblp.uni-trier.de/db/journals/corr/corr0204.html#cs-LO-0204031},
volume = {cs.LO/0204031},
year = 2002
}