@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/} }
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. Algebra Automata Information and Control, vol.12, 1968, p. 331-370. | MR | Zbl
et ,2. Systèmes d'équations dans le magmoïde. Ensembles rationnels et algébriques d'arbres, Thèse d'État, Lille, 1977.
,3. Bimorphismes, S-morphismes et bi-S-morphismes, Publication du Laboratoire de Calcul, n° 59, 1975.
et ,4. Théorie des magmoïdes, Publication du Laboratoire de Calcul de Lille, 1977.
et ,5. 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. Tree Generating Regular Systems, Information and Control, vol. 14, 1969, p. 217-231. | MR | Zbl
,7. Universal Algebra, Harper and Row, New York, 1965. | MR | Zbl
,8. 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. Transductions de forêts. Bimorphismes de magmoïdes, Thèse d'État, Lille, 1977.
,10. Formal Languages and Recursion Schemes, Ph. D. Thesis, Harvard University, 1974. | MR
,11. Automata in General Algebras, Information and Control, vol. 11, 1967, p. 217-231. | MR | Zbl
et ,12. Matricial Theories, J. Alg., vol. 42, 1976, p. 391-421. | MR | Zbl
,13. 10 and 01, Daimi Report PB 47, University of Aarhus, Danemark, 1975.
et ,14. Initial Algebra Semantics and Continuons Algebras, J. Assoc. Comput. Mach., vol. 24, 1977, p. 68-95. | MR | Zbl
, , et ,15. 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. Functorial Semantics of Algebraic Theorics, Proc. Nat. Acad. Sc. U.S.A., vol. 50, 1963, p. 869-872. | MR | Zbl
,17. S-transducteur s de forêts, Publications du Laboratoire de Calcul de Lille, n° 101, 1977. | MR | Zbl
,18. A generalized Approach to Formal Languages, J. Comput. System Sc, vol. 8, 1974, p. 402-432. | MR | Zbl
,19. 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. On the Interprétation of Polyadic Recursive Programs Schemes, Symposia Mathematica (Rome), vol. 15, 1975, p. 255-281. | MR | Zbl
,21. Définition et étude des bilangages réguliers, Information and Control, vol. 13, 1968, p. 565-593. | MR | Zbl
et ,22. Tree-Manipulating Systems and Church-Rosser Theorem, J. Assoc. Comput. Mach., vol. 20, 1973, p. 160-187. | MR | Zbl
,23. Context-Free Grammars on Trees, 1st A.C.M. Symp. on Theory of Computing, 1969, p. 143-148. | Zbl
,Mappings and grammars on trees, Math. Systems Theory, vol. 4, 1970p. 257-287. | MR | Zbl
,Tree Automata : an Informal Survey in Currents in the Theory of Computing, A. V. AHO, éd., Prentice Hall, 1973, p. 143-178. | MR
,26. 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
,