Théorie des magmoïdes (I)
RAIRO. Informatique théorique, Tome 12 (1978) no. 3, pp. 235-257.
@article{ITA_1978__12_3_235_0,
     author = {Arnold, A. and Dauchet, M.},
     title = {Th\'eorie des magmo{\"\i}des {(I)}},
     journal = {RAIRO. Informatique th\'eorique},
     pages = {235--257},
     publisher = {EDP-Sciences},
     volume = {12},
     number = {3},
     year = {1978},
     mrnumber = {510640},
     zbl = {0391.68037},
     language = {fr},
     url = {http://archive.numdam.org/item/ITA_1978__12_3_235_0/}
}
TY  - JOUR
AU  - Arnold, A.
AU  - Dauchet, M.
TI  - Théorie des magmoïdes (I)
JO  - RAIRO. Informatique théorique
PY  - 1978
SP  - 235
EP  - 257
VL  - 12
IS  - 3
PB  - EDP-Sciences
UR  - http://archive.numdam.org/item/ITA_1978__12_3_235_0/
LA  - fr
ID  - ITA_1978__12_3_235_0
ER  - 
%0 Journal Article
%A Arnold, A.
%A Dauchet, M.
%T Théorie des magmoïdes (I)
%J RAIRO. Informatique théorique
%D 1978
%P 235-257
%V 12
%N 3
%I EDP-Sciences
%U http://archive.numdam.org/item/ITA_1978__12_3_235_0/
%G fr
%F ITA_1978__12_3_235_0
Arnold, A.; Dauchet, M. Théorie des magmoïdes (I). RAIRO. Informatique théorique, Tome 12 (1978) no. 3, pp. 235-257. http://archive.numdam.org/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 | Zbl

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 | Zbl

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

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

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

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

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 | Zbl

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

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

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

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

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 | Zbl

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

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

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

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

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

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

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 | Zbl