@article{ITA_1992__26_3_221_0, author = {Blanc, G. and Bleuzen-Guernalec, N.}, title = {Alg\`ebres effectives dans la programmation logique avec contraintes}, journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications}, pages = {221--242}, publisher = {EDP-Sciences}, volume = {26}, number = {3}, year = {1992}, mrnumber = {1170324}, zbl = {0761.68026}, language = {fr}, url = {http://archive.numdam.org/item/ITA_1992__26_3_221_0/} }
TY - JOUR AU - Blanc, G. AU - Bleuzen-Guernalec, N. TI - Algèbres effectives dans la programmation logique avec contraintes JO - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications PY - 1992 SP - 221 EP - 242 VL - 26 IS - 3 PB - EDP-Sciences UR - http://archive.numdam.org/item/ITA_1992__26_3_221_0/ LA - fr ID - ITA_1992__26_3_221_0 ER -
%0 Journal Article %A Blanc, G. %A Bleuzen-Guernalec, N. %T Algèbres effectives dans la programmation logique avec contraintes %J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications %D 1992 %P 221-242 %V 26 %N 3 %I EDP-Sciences %U http://archive.numdam.org/item/ITA_1992__26_3_221_0/ %G fr %F ITA_1992__26_3_221_0
Blanc, G.; Bleuzen-Guernalec, N. Algèbres effectives dans la programmation logique avec contraintes. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Volume 26 (1992) no. 3, pp. 221-242. http://archive.numdam.org/item/ITA_1992__26_3_221_0/
[Ar.Ni. 1] The metric space of infinite trees. Algebraic and topological properties, Annales Societatis Matkernaticae Polonae, Séries IV : Fund. Inform., 1980, III, 4, p. 445-476. | MR | Zbl
et ,[Ber.2] Mots sans carré et morphismes itérés, Discrete Math., 1980, 29, p. 235-244. | MR | Zbl
,[Ber. 3] Some recent results on squarefree words, Conférence au « Symposium for Theoretical Aspect of Computer Science », (STACS'84), Paris, avril 1984. | MR | Zbl
,[B.B.C. 4] Kleene Functor and Logic Programming, Laboratoire de Mathématiques de Marseille, 1989.
, et ,[Bl.Blg. 5] Topologie et Décidabilité dans les Algèbres de mots infinis, Rapport technique, Dept. de Math., Marseille-Luminy, 1990.
et ,[Cla. 6] Negation as Failure, in Logic and Database, H. GALLAIRE et J. MINKER éd., Plenum Press, New York, 1978, p. 293-322. | MR
,[Col. 7] Prolog and Infinite Trees, in Logic Programming, K. L. CLARK et S. A. TARNLUND éd., Academic Press, New York, 1982, p. 231-251. | MR
,[Col. 8] Une introduction à Prolog III, Note du G.I.A., Université d'Aix-Marseille-II, 1989.
,[Coup. 9] Deux arguments pour les arbres infinis en Prolog, Thèse de Doctorat de l'Université d'Aix-Marseille-II, 1988.
,[Cour. 10] Fundamental properties of infinite Trees, Theoret. Comput. Sci., 1983, 25, (2), p. 95-169. | MR | Zbl
,[v.Em.Ko. 11] The semantics of Predicate Logic as a programming Language, J. A.C.M., 1976, 23, 4, p. 733-742. | MR | Zbl
et ,[v.Em.Ll. 12] A logical reconstruction of Prolog II, Proc. 2nd Conference on Logic Programming, Uppsala, Sweden, 1984, p. 35-40.
et ,[Ja.La. 13] Constraint Logic Programming, Technical Report, Dept. of Comp. Sci., Monash University, juin 1986.
et ,[Ja.La. 14] Constraint Logic Programming, in Proc. Conf. on Principles of Programming Languages, 1987.
et ,[J.L.M. 15] A logical foundation for Prolog II, technical report n 45, Monash University, 1985.
, et ,[J.L.M. 16] Some issues and trends in the semantics of Logic Programming, Proc. 3rd International Conference on Logic Programming LNCS 225, Springer-Verlag, 1986.
, et ,[Ja.St. 17] Semantics of infinite tree logic programming, Theoret. Comput. Sci., 1986, 46, p. 141-158. | MR | Zbl
et ,[Llo. 18] Foundation of Logic Programming, Symbolic Computation, Springer-Verlag, 1984. | Zbl
,[Mac. 19] Model Completeness, in Handbook of Mathematical Logic, J. BARWISE éd., North-Holland, 1978.
,[Mah. 20] Complete axiomatization of the algebras of finite, rational and infinite trees, Draft of paper in 3rd Logic in Computer Science Conference, Edinburgh, 1988.
,[Ni.Pe. 21] Automata on Infinite Words, École de Printemps d'Informatique Théorique, Le Mont-Dore, mai 1984, Lecture Notes in Comput. Sci., 192 | Zbl
et ,[Re.Sa.22] Overlap free words on two symbols, Lecture Notes in Comput. Sci., 1984, 192, p. 198-206. | MR | Zbl
et ,