Théorie des magmoïdes (I)
Arnold, A. ; Dauchet, M.
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 12 (1978), p. 235-257 / Harvested from Numdam
Access to full text
Full (PDF)
Full (DJVU) 
@article{ITA_1978__12_3_235_0,
     author = {Arnold, A. and Dauchet, M.},
     title = {Th\'eorie des magmo\"\i des (I)},
     journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
     volume = {12},
     year = {1978},
     pages = {235-257},
     mrnumber = {510640},
     zbl = {0391.68037},
     language = {fr},
     url = {http://dml.mathdoc.fr/item/ITA_1978__12_3_235_0}
}

Arnold, A.; Dauchet, M. Théorie des magmoïdes (I). RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 12 (1978) pp. 235-257. http://gdmltest.u-ga.fr/item/ITA_1978__12_3_235_0/

1. M. A. Arbib et Y. Give'On, Algebra Automata Information and Control, vol.12, 1968, p. 331-370. | MR 276008 | Zbl 0164.32201

2. A. Arnold, Systèmes d'équations dans le magmoïde. Ensembles rationnels et algébriques d'arbres, Thèse d'État, Lille, 1977.

3. A. Arnold et M. Dauchet, Bimorphismes, S-morphismes et bi-S-morphismes, Publication du Laboratoire de Calcul, n° 59, 1975.

4. A. Arnold et M. Dauchet, Théorie des magmoïdes, Publication du Laboratoire de Calcul de Lille, 1977.

5. G. Boudol, Langages polyadiques algébriques. Théorie des schémas de programme : sémantique de l'appel par valeur, Thèse 3e cycle, Université Paris-VII, 1975.

6. W. S. Brainerd, Tree Generating Regular Systems, Information and Control, vol. 14, 1969, p. 217-231. | MR 239875 | Zbl 0169.31601

7. P. M. Cohn, Universal Algebra, Harper and Row, New York, 1965. | MR 175948 | Zbl 0141.01002

8. G. Cousineau, Les arbres à feuilles indicées : un cadre algébrique pour l'étude des structures de contrôle, Thèse d'État, Université Paris-VII, 1977.

9. M. Dauchet, Transductions de forêts. Bimorphismes de magmoïdes, Thèse d'État, Lille, 1977.

10. P. Downey, Formal Languages and Recursion Schemes, Ph. D. Thesis, Harvard University, 1974. | MR 2940469

11. S. Eilenberg et J. B. Wright, Automata in General Algebras, Information and Control, vol. 11, 1967, p. 217-231. | MR 223285 | Zbl 0175.27902

12. C. C. Elgot, Matricial Theories, J. Alg., vol. 42, 1976, p. 391-421. | MR 430017 | Zbl 0361.18004

13. J. Engelfriet et E. M. Schmidt, 10 and 01, Daimi Report PB 47, University of Aarhus, Danemark, 1975.

14. J. A. Goguen, J. W. Thatcher, E. G. Wagner et J. B. Wright, Initial Algebra Semantics and Continuons Algebras, J. Assoc. Comput. Mach., vol. 24, 1977, p. 68-95. | MR 520711 | Zbl 0359.68018

15. G. Jacob, Substitution dans les arbres et non-déterminisme. Appel par nomet appel synchrone in Les Arbres en Algèbre et en Programmation, 2nd Colloque de Lille, 1977, p. 162-198. | Zbl 0381.18014

16. F. W. Lawvere, Functorial Semantics of Algebraic Theorics, Proc. Nat. Acad. Sc. U.S.A., vol. 50, 1963, p. 869-872. | MR 158921 | Zbl 0119.25901

17. E. Lilin, S-transducteur s de forêts, Publications du Laboratoire de Calcul de Lille, n° 101, 1977. | MR 505850 | Zbl 0384.68057

18. T.S.E. Maibaum, A generalized Approach to Formal Languages, J. Comput. System Sc, vol. 8, 1974, p. 402-432. | MR 366112 | Zbl 0361.68113

19. M. Nivat, Langages algébriques sur le magma libre et sémantique des schémas de programme in Automata, Languages and Programming, 1st colloquium, M. NIVAT, éd., North Holland, 1973, p. 293-307. | MR 383813 | Zbl 0279.68010

20. M. Nivat, On the Interprétation of Polyadic Recursive Programs Schemes, Symposia Mathematica (Rome), vol. 15, 1975, p. 255-281. | MR 391563 | Zbl 0346.68041

21. C. Pair et A. Querf, Définition et étude des bilangages réguliers, Information and Control, vol. 13, 1968, p. 565-593. | MR 250803 | Zbl 0181.01603

22. B. K. Rosen, Tree-Manipulating Systems and Church-Rosser Theorem, J. Assoc. Comput. Mach., vol. 20, 1973, p. 160-187. | MR 331850 | Zbl 0267.68013

23. W. C. Rounds, Context-Free Grammars on Trees, 1st A.C.M. Symp. on Theory of Computing, 1969, p. 143-148. | Zbl 1282.68151

24. W. C. Rounds, Mappings and grammars on trees, Math. Systems Theory, vol. 4, 1970p. 257-287. | MR 269440 | Zbl 0203.30103

25. J. W. Thatcher, Tree Automata : an Informal Survey in Currents in the Theory of Computing, A. V. AHO, éd., Prentice Hall, 1973, p. 143-178. | MR 426502

26. J. Tiuryn, Fixed-Points and Algebras with Infinitely Long Expressions. 1re partie : Mathematica! Foundations of Computer Science, Lecture Notes in Comput. Science, n° 53, 1977, p. 513-522; 2e partie : Fundamentals of Computation Theory, Lecture Notes in Comput. Science, n° 56, 1977, p. 332-339. | MR 483663 | Zbl 0392.68013