A. Colmerauer. Equations and inequations on nite and in nite trees. In FGCS'84 Proceedings, pages 85-99, November 1984. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Complexity of Constraint Satisfaction Problems - Creignou, Hermann, Pichler (Correct)
....of terms over some nite signature . Then every ground term t 2 H has one of the symbols in as its leading symbol. Hence the formula f2 (9 w ) s = f(w 1 ; w (f) is clearly valid for any term s. Finally, the rule U 4 is mainly due to the so called independence of inequations of [Col84] that can be stated in the following way. Every purely existentially quanti ed conjunction of disequations over an in nite universe has at least one solution, if and only if each of the conjuncts has a solution. Moreover, the latter condition is always ful lled unless one of the conjuncts ....
A. Colmerauer. Equations and inequations on nite and in nite trees. In Proceedings International Conference on Fifth Generation Computer Systems (FGCS'84), Tokyo (Japan), pages 85-99. OHMSHA Ltd. Tokyo and North-Holland, 1984.
Dominance Constraints in Context Unification - Niehren, Koller (1998) (Correct)
....is called internal in [BGMV93] in contrast to the external perspective where one relates several trees. Both views have a long tradition in logics. The internal view is taken in modal logic and in second order monadic logic (SnS) Rab69] whereas the external view is popular in uni cation theory [MM82,Col84,BS93] and for set constraints [HJ90,AW92,TDT00] In feature logics [KR86,Smo92] both perspectives have been employed and compared [BS95,MN00] Dominance versus Subtree Constraints. Dominance constraints contain node valued variables that we write as capital letters X;Y; Z. An atomic dominance ....
Alain Colmerauer. Equations and inequations on nite and in nite trees. In Proceedings of the 2nd International Conference on Fifth Generation Computer Systems, pages 85-99, 1984.
The Complement Problem in Associative-Commutative Theories - Kounalis, Lugiez, Pottier (Correct)
No context found.
A. Colmerauer. Equations and inequations on nite and in nite trees. In FGCS'84 Proceedings, pages 85-99, November 1984.
On Deciding Subsumption Problems (Extended Abstract) - Egly, Pichler, Woltran (2002) (Correct)
No context found.
A. Colmerauer. Equations and inequations on nite and in nite trees. In Proc. of FGCS'84, pp. 85-99, North-Holland, 1984.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC