A dynamic approach to characterizing termination of general...

ACM Transactions on Computational Logic 2003 / 10 Vol. 4; Iss. 4

A dynamic approach to characterizing termination of general logic programs

Shen, Yi-Dong, You, Jia-Huai, Yuan, Li-Yan, Shen, Samuel S. P., Yang, Qiang
Avez-vous aimé ce livre?
Quelle est la qualité du fichier téléchargé?
Veuillez télécharger le livre pour apprécier sa qualité
Quelle est la qualité des fichiers téléchargés?
Volume:
4
Langue:
english
Journal:
ACM Transactions on Computational Logic
DOI:
10.1145/937555.937556
Date:
October, 2003
Fichier:
PDF, 151 KB
english, 2003
La conversion en est effectuée
La conversion en a échoué