@article{ITA_1977__11_1_29_0, author = {Latteux, Michel}, title = {C\^ones rationnels commutativement clos}, journal = {RAIRO. Informatique th\'eorique}, pages = {29--51}, publisher = {Centrale des revues, Dunod-Gauthier-Villars}, address = {Montreuil}, volume = {11}, number = {1}, year = {1977}, mrnumber = {478782}, zbl = {0354.68103}, language = {fr}, url = {http://archive.numdam.org/item/ITA_1977__11_1_29_0/} }
TY - JOUR AU - Latteux, Michel TI - Cônes rationnels commutativement clos JO - RAIRO. Informatique théorique PY - 1977 SP - 29 EP - 51 VL - 11 IS - 1 PB - Centrale des revues, Dunod-Gauthier-Villars PP - Montreuil UR - http://archive.numdam.org/item/ITA_1977__11_1_29_0/ LA - fr ID - ITA_1977__11_1_29_0 ER -
Latteux, Michel. Cônes rationnels commutativement clos. RAIRO. Informatique théorique, Tome 11 (1977) no. 1, pp. 29-51. http://archive.numdam.org/item/ITA_1977__11_1_29_0/
1. Reversal-Bounded Multipushdown Machines, J. Comp. Syst. Sc., vol. 8, 1974, p. 315-332. | MR | Zbl
et ,2. Une hiérarchie des parties rationnelles de N2, Math. Systems Theory, vol. 7, 1973, p. 114-137. | MR | Zbl
,3. Une suite décroissante de cônes rationnels, Institut de Programmation, Paris, n° I. P. 74-75, 1974. | MR
et ,4. Two Iteration Theorems for Some Families of Languages, J. Comp. Syst. Sc., vol. 7, 1973, p. 583-596. | MR | Zbl
,5. Sur diverses familles de langages fermées par transduction rationnelle, Acta Informatica, vol. 2, 1973, p. 180-188. | MR | Zbl
et ,6. Quasi-Realtime Languages, Math. Systems Theory, vol. 4, 1970, p. 97-111. | MR | Zbl
et ,7. Intersections of Linear Context-Free Languages and Reversal-Bounded Multipushdown Machines, Proceedings of 6th annual A.C.M. Symphosium on theory of Computing, 1974, p. 290-296. | Zbl
, et ,8. Sur l'image, par une transduction rationnelle, des mots sur une lettre, R.A.I.R.O., R-2, 1975, p. 25-37. | Numdam | MR
,9. Communication au Congrès international des Mathématiciens, Nice, 1970.
,10. Rational Sets in Commutative Monoids, J. Algebra, vol. 13, 1969, p. 173-191. | MR | Zbl
et ,11. Real-Time Solutions of the Origin-Crossing Problem, Math. Systems theory, vol. 2, 1968, p. 257-263. | MR | Zbl
et ,12. The Mathematical Theory of Context-Free Languages, McGraw-Hill, New York, 1966. | MR | Zbl
,13. Algebraic and Automata-Theoretic Properties of Formal Languages, North-Holland Publishing Company, 1975. | MR | Zbl
,14. Intersection-Closed Full AFL and the Recursively Enumerable Languages, Information and Control, vol. 22, 1973, p. 201-231. | MR | Zbl
et ,15. Studies in Abstract Families of Languages, Memoirs of the Amer. Math. Soc., vol. 113, 1966, p. 285-396.
et ,16. Principal AFL, J. Comp. Syst. Sc., vol. 4, 1970, p. 308-338. | MR | Zbl
et ,17. Multitape AFA, J. A.C.M., vol. 19, 1972, p. 193-221. | MR | Zbl
et ,18. Bounded Algol-like Languages, Trans. Amer. Math. Soc., vol. 113, 1964, p. 333-368. | MR | Zbl
et ,19. AFL with the Semilinear Property, J. Comp. Syst. Sc., vol. 5, 1971, p. 365-396. | MR | Zbl
et ,20. Substitution and Bounded Languages, J. Comp. Syst. Sc., vol. 6, 1972, p. 9-29. | MR | Zbl
,21. Chains of Full AFL's, Math. Systems theory, vol. 4, 1970, p. 231-242. | MR | Zbl
,22. Simple Syntactic Operators on Full Semi-AFL's, J. Comp. Syst. Sc., vol. 6, 1972, p. 30-76. | MR | Zbl
,23. One Counter Language and the IRS Condition, J. Comp. Syst. Sc., vol. 10, 1975, p. 237-247. | MR | Zbl
,24. Every Semilinear Set is a Finite Union of Disjoint Linear Sets, J. Comp. Syst. Sc., vol. 3, 1969, p. 221-231. | MR | Zbl
,25. Sur les semilinéaires-langages bornés, Publication n° 60 du Laboratoire de Calcul de l'Université de Lille I, 1975.
,26. A Characterization of Semilinear Sets, J. Comp. Syst. Sc., vol. 4, 1970, p. 399-307. | MR | Zbl
et ,27. An Infinite Hierarchy of Intersections of Context-Free Languages, Math. System Theory, vol. 7, 1973, p. 185-192. | MR | Zbl
et ,28. Transduction des langages de Chomsky, Ann. Inst. Fourier, Grenoble, vol. 18, 1968, p. 339-455. | Numdam | MR | Zbl
,29. Language Generating Devices, M.I.T. Res. Lab. Electron. Quart. Prog. Rept., vol. 60, 1961, p. 199-212.
,30. Proving Containment of Bounded AFL, J. Comp. Syst. Sc., vol. 11, 1975, p.1-55. | MR | Zbl
,