Informatique Théorique et Applications, Volume 11, 1977

Volume 11, Number 1, 1977

F. H. Raymond: Note sur la Suppression des Étiquettes en Programmation. 3-16
Juhani Karhumäki: The Decidability of the Equivalence Problem for Polynomially Bounded DOL Sequences. 17-28
Michel Latteux: Cônes Rationnels Commutativement Clos. 29-51
Celia Wrathall: Characterizations of the Dyck Sets. 53-62
Bernard Robinet, François Nozick: Sémantique des Structures de Contrôle. 63-74
Aldo Aiello, Ernesto Burattini, A. Massarotti: Reducibility as a Tool to Extend the Power of Approximation Algorithms the Minimization of Boolean Expressions. 75-82

Jacques J. Arsac: Emploi de Méthodes Constructives en Programmation. Un Dossier: La Fonction d'Ackermann. 91-112
Gérard Berry: Calculs Ascendants du Programme d'Ackermann: Analyse du Programme de J. Arsac. 113-126
Sheila A. Greibach: A Note on NSPACE(log₂ n) and Substitution. 127-132
Irène Guessarian: Tests et leur Caractérisation Syntaxique. 133-156
Phan Dinh Dieu: Asymtpotical Estimation of Some Characteristics of Finite Graphs. 157-174

Ivan Hal Sudborough: Some Remarks on Multihead Automata. 181-195
Antonio Restivo: Mots Sans Répétitions et Langages Rationnels Bornés. 197-202
Luc Boasson, Antonio Restivo: Une Caractérisation des Langages Algébriques Bornés. 203-205
Keijo Ruohonen: A Note on Equal Powers of Word Morphisms. 207-211
Bernard Robinet: Un Modèle Fonctionnel des Structures de Contrôle. 213-236
Laurent Kott: Sémantique Algébrique d'un Langage de Programmation Type Algol. 237-263

Andrzej Ehrenfeucht, Grzegorz Rozenberg: On Some Context Free Languages That Are Not Deterministic ETOL Languages. 273-291
Huei-Jan Shyr, Gabriel Thierrin: Codes, Languages and MOL Schemes. 293-301
Gheorghe Paun: An Operation with Languages Occurring in the Linguistic Approach to the Management. 303-310
Maurice Nivat: Mots Infinis Engendrés par Une Grammaire Algébrique. 311-327
Luis E. Sanchis: Data Types as Lattices: Retractions, Closures and Projections. 329-344