Revue française d'automatique informatique recherche opérationnelle. Informatique théorique, Volume 9 (1975)

Issue no. R1 Table of Contents

Une double hiérarchie infinie de langages vérifiables

Rodriguez, François

p. 5-19

Langages d'interprétation des schémas récursifs

Cousineau, F. G.; Rifflet, J.-M.

p. 21-42

Post grammars as a programming language description tool

Feautrier, Paul

p. 43-72

Issue no. R2 Table of Contents

A note on the recognition of one counter languages

Greibach, S. A.

p. 5-12

A pumping theorem for deterministic ETOL languages

Ehrenfeucht, A.; Rozenberg, G.

p. 13-23

Sur l'image, par une transduction rationnelle, des mots sur une lettre

Durieux, J. L.

p. 25-37

On some elementary properties of uniform automata

Valk, Rüdiger

p. 39-54

Généralisation de la notion de langage à contexte libre. Application à l'analyse syntaxique de figures

Mohr, R.

p. 55-88

Issue no. R3 Table of Contents

Limiting recursion and the arithmetic hierarchy

Criscuolo, G.; Minicozzi, E.; Trautteur, G.

p. 5-12

Deux propriétés combinatoires du langage de Lukasiewicz

Gouyou-Beauchamps, D.

p. 13-24

Note sur l'algèbre des fonctions

Raymond, F. H.

p. 25-49

Sur les TOL - Systèmes unaires

Latteux, Michel

p. 51-62