Author:
López-Fraguas Francisco Javier,Sánchez-Hernández Jaime
Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. M. Abengózar-Carneros et al. $$ \mathcal{T}\mathcal{O}\mathcal{Y} $$ : a multiparadigm declarative language, version 2.0. Technical report, Dep. SIP, UCM Madrid, January 2001. 212, 213
2. Lect Notes Comput Sci;S. Antoy,1992
3. S. Antoy. Constructor-based conditional narrowing. In Proc. PPDP’01, pages 199–206. ACM Press, 2001. 217, 225
4. K.R. Apt and R. Bol. Logic programming and negation: A survey. Journal of Logic Programming, 19&20:9–71, 1994. 212
5. D. Chan. Constructive negation based on the completed database. In Proc. ICSLP’88, pages 111–125, 1988. 214
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献