Algèbres effectives dans la programmation logique avec contraintes
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 26 (1992) no. 3, pp. 221-242.
@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, Tome 26 (1992) no. 3, pp. 221-242. http://archive.numdam.org/item/ITA_1992__26_3_221_0/

[Ar.Ni. 1] A. Arnold et M. Nivat, 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

[Ber.2] J. Berstel, Mots sans carré et morphismes itérés, Discrete Math., 1980, 29, p. 235-244. | MR | Zbl

[Ber. 3] J. Berstel, 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] G. Blanc, N. Bleuzen-Guernalec et S. Coupet, Kleene Functor and Logic Programming, Laboratoire de Mathématiques de Marseille, 1989.

[Bl.Blg. 5] G. Blanc et N. Bleuzen-Guernalec, Topologie et Décidabilité dans les Algèbres de mots infinis, Rapport technique, Dept. de Math., Marseille-Luminy, 1990.

[Cla. 6] K. L. Clark, Negation as Failure, in Logic and Database, H. GALLAIRE et J. MINKER éd., Plenum Press, New York, 1978, p. 293-322. | MR

[Col. 7] A. Colmerauer, 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] A. Colmerauer, Une introduction à Prolog III, Note du G.I.A., Université d'Aix-Marseille-II, 1989.

[Coup. 9] S. Coupet-Grimal, Deux arguments pour les arbres infinis en Prolog, Thèse de Doctorat de l'Université d'Aix-Marseille-II, 1988.

[Cour. 10] B. Courcelle, Fundamental properties of infinite Trees, Theoret. Comput. Sci., 1983, 25, (2), p. 95-169. | MR | Zbl

[v.Em.Ko. 11] M. H. Van Emden et R. A. Kowalski, The semantics of Predicate Logic as a programming Language, J. A.C.M., 1976, 23, 4, p. 733-742. | MR | Zbl

[v.Em.Ll. 12] M. H. Van Emden et W. Lloyd, A logical reconstruction of Prolog II, Proc. 2nd Conference on Logic Programming, Uppsala, Sweden, 1984, p. 35-40.

[Ja.La. 13] J. Jaffar et J. L. Lassez, Constraint Logic Programming, Technical Report, Dept. of Comp. Sci., Monash University, juin 1986.

[Ja.La. 14] J. Jaffar et J. L. Lassez, Constraint Logic Programming, in Proc. Conf. on Principles of Programming Languages, 1987.

[J.L.M. 15] J. Jaffar, J. L. Lassez et M. J. Maher, A logical foundation for Prolog II, technical report n 45, Monash University, 1985.

[J.L.M. 16] J. Jaffar, J. L. Lassez et M. J. Maher, Some issues and trends in the semantics of Logic Programming, Proc. 3rd International Conference on Logic Programming LNCS 225, Springer-Verlag, 1986.

[Ja.St. 17] J. Jaffar et P. Stuckey, Semantics of infinite tree logic programming, Theoret. Comput. Sci., 1986, 46, p. 141-158. | MR | Zbl

[Llo. 18] J. W. Lloyd, Foundation of Logic Programming, Symbolic Computation, Springer-Verlag, 1984. | Zbl

[Mac. 19] A. Macintyre, Model Completeness, in Handbook of Mathematical Logic, J. BARWISE éd., North-Holland, 1978.

[Mah. 20] M. J. Maher, 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] M. Nivat et D. Perrin, Automata on Infinite Words, École de Printemps d'Informatique Théorique, Le Mont-Dore, mai 1984, Lecture Notes in Comput. Sci., 192 | Zbl

[Re.Sa.22] A. Restivo et S. Salemi, Overlap free words on two symbols, Lecture Notes in Comput. Sci., 1984, 192, p. 198-206. | MR | Zbl