EDP Sciences logo
Subscriber Authentication Point
Search
Menu
All issues Volume 12 / No 3 (1978) RAIRO. Inform. théor., 12 3 (1978) 235-257 References
Free Access
Issue
RAIRO. Inform. théor.
Volume 12, Number 3, 1978
Page(s) 235 - 257
DOI https://doi.org/10.1051/ita/1978120302351
Published online 01 February 2017
  1. 1. M. A. ARBIB et Y. GIVE'ON, Algebra Automata Information and Control, vol.12, 1968, p. 331-370. [MR: 276008] [Zbl: 0164.32201] [Google Scholar]
  2. 2. A. ARNOLD, Systèmes d'équations dans le magmoïde. Ensembles rationnels et algébriques d'arbres, Thèse d'État, Lille, 1977. [Google Scholar]
  3. 3. A. ARNOLD et M. DAUCHET, Bimorphismes, S-morphismes et bi-S-morphismes, Publication du Laboratoire de Calcul, n° 59, 1975. [Google Scholar]
  4. 4. A. ARNOLD et M. DAUCHET, Théorie des magmoïdes, Publication du Laboratoire de Calcul de Lille, 1977. [Zbl: 0443.68053] [Google Scholar]
  5. 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. [Google Scholar]
  6. 6. W. S. BRAINERD, Tree Generating Regular Systems, Information and Control, vol. 14, 1969, p. 217-231. [MR: 239875] [Zbl: 0169.31601] [Google Scholar]
  7. 7. P. M. COHN, Universal Algebra, Harper and Row, New York, 1965. [MR: 175948] [Zbl: 0141.01002] [Google Scholar]
  8. 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. [Google Scholar]
  9. 9. M. DAUCHET, Transductions de forêts. Bimorphismes de magmoïdes, Thèse d'État, Lille, 1977. [Zbl: 0363.68104] [Google Scholar]
  10. 10. P. DOWNEY, Formal Languages and Recursion Schemes, Ph. D. Thesis, Harvard University, 1974. [Google Scholar]
  11. 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] [Google Scholar]
  12. 12. C. C. ELGOT, Matricial Theories, J. Alg., vol. 42, 1976, p. 391-421. [MR: 430017] [Zbl: 0361.18004] [Google Scholar]
  13. 13. J. ENGELFRIET et E. M. SCHMIDT, 10 and 01, Daimi Report PB 47, University of Aarhus, Danemark, 1975. [Google Scholar]
  14. 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] [Google Scholar]
  15. 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] [Google Scholar]
  16. 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] [Google Scholar]
  17. 17. E. LILIN, S-transducteur s de forêts, Publications du Laboratoire de Calcul de Lille, n° 101, 1977. [Google Scholar]
  18. 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] [Google Scholar]
  19. 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] [Google Scholar]
  20. 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] [Google Scholar]
  21. 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] [Google Scholar]
  22. 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] [Google Scholar]
  23. 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] [Google Scholar]
  24. 24. W. C. ROUNDS, Mappings and grammars on trees, Math. Systems Theory, vol. 4, 1970p. 257-287. [MR: 269440] [Zbl: 0203.30103] [Google Scholar]
  25. 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] [Google Scholar]
  26. 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: 0392.68013] [Google Scholar]

Current usage metrics show cumulative count of Article Views (full-text article views including HTML views, PDF and ePub downloads, according to the available data) and Abstracts Views on Vision4Press platform.

Data correspond to usage on the plateform after 2015. The current usage metrics is available 48-96 hours after online publication and is updated daily on week days.

Initial download of the metrics may take a while.