Subject
Applied Mathematics,Computational Mathematics
Reference16 articles.
1. Negation as failure;Clark,1978
2. Expressiveness of full first-order constraints in the algebra of finite or infinite trees;Colmerauer;Journal of Constraints,2003
3. An introduction to Prolog III;Colmerauer;Communication of the ACM,1990
4. Solving first-order constraints in the theory of the evaluated trees. Recent advances in constraints;Dao;LNAI,2006
5. Theory of finite or infinite trees revisited;Djelloul;Theory and Practice of Logic Programming (TPLP),2008