Algèbres effectives dans la programmation logique avec contraintes
Blanc, G. ; Bleuzen-Guernalec, N.
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 26 (1992), p. 221-242 / Harvested from Numdam
Access to full text
Full (PDF)
Full (DJVU)
Publié le : 1992-01-01
@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},
     volume = {26},
     year = {1992},
     pages = {221-242},
     mrnumber = {1170324},
     zbl = {0761.68026},
     language = {fr},
     url = {http://dml.mathdoc.fr/item/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) pp. 221-242. http://gdmltest.u-ga.fr/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 604273 | Zbl 0453.68021

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

[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 773306 | Zbl 0582.68042

[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 539848

[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 754008

[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 693076 | Zbl 0521.68013

[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 455509 | Zbl 0339.68004

[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 869203 | Zbl 0621.68054

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

[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 0563.00019

[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 814744 | Zbl 0572.20038