Geodesic
Théorie des magmoïdes (I)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 12 (1978) no. 3, pp. 235-257.

Voir la notice de l'article provenant de la source Numdam

@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},
     pages = {235--257},
     publisher = {EDP-Sciences},
     volume = {12},
     number = {3},
     year = {1978},
     mrnumber = {510640},
     zbl = {0391.68037},
     language = {fr},
     url = {http://geodesic.mathdoc.fr/item/ITA_1978__12_3_235_0/}
}
TY  - JOUR
AU  - Arnold, A.
AU  - Dauchet, M.
TI  - Théorie des magmoïdes (I)
JO  - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
PY  - 1978
SP  - 235
EP  - 257
VL  - 12
IS  - 3
PB  - EDP-Sciences
UR  - http://geodesic.mathdoc.fr/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 - Theoretical Informatics and Applications - Informatique Théorique et Applications
%D 1978
%P 235-257
%V 12
%N 3
%I EDP-Sciences
%U http://geodesic.mathdoc.fr/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 - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 12 (1978) no. 3, pp. 235-257. http://geodesic.mathdoc.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. | Zbl | MR

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

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

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

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

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

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

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

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

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

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

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

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

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